タイプ、データコンストラクタ、またはtypeclassがどこで定義されているかは、どのようにして知ることができますか？

Question

私は、LayoutClass型またはデータコンストラクタがXMonad https://hackage.haskell.org/package/xmonad-0.12/docs/XMonad-Core.html#t:LayoutClassのために定義されているかを調べようとしています。

また、私は成功しませんGHCiのを使用して試してみた：

Prelude> import XMonad.Core 
Prelude XMonad.Core> :t LayoutClass 

<interactive>:1:1: error: 
    Data constructor not in scope: LayoutClass 
Prelude XMonad.Core> 

Answer 1

LayoutClassは、データ型や型コンストラクタではありません。それはtypeclassです。ドキュメントのInstancesテーブルにLayoutClassで始まる行の右側にあるSourceボタンをクリックして確認できます。例えば、これはLayoutClass Layout Window

instance LayoutClass Layout Window where 

で始まる行のコードの最初の行であり、これはLayout WindowはLayoutClass型クラスのインスタンスであることを意味します。

Answer 2

あり、多くの場合、この目的のために使用されるhttps://hackage.haskell.org/package/xmonad-0.12/docs/src/XMonad-Core.html#LayoutClass

Answer 3

Hoogleにこのケースでリンクされた行の右側の「ソース」のリンク、次のとおりです。 http://hoogle.haskell.org/?hoogle=LayoutClass

は、しかし、それはインデックスには思えませんすべての利用可能なパッケージをハッキングします。

上記の型クラスはHoogle（今のアルファで）最新によってインデックスが作成されます。 http://hoogle.haskell.org/?hoogle=LayoutClass

ます。またstackage Hoogleを検索することができます：https://www.stackage.org/lts-8.11/hoogle?q=LayoutClass