Wie kann ich herausfinden, wo ein Typ, ein Datenkonstruktor oder eine Typklasse definiert ist?

Question

Ich versuche herauszufinden, wo der LayoutClass-Typ oder Datenkonstruktor für XMonad https://hackage.haskell.org/package/xmonad-0.12/docs/XMonad-Core.html#t:LayoutClass definiert ist.

Ich habe auch versucht GHCI ohne Erfolg mit:

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 ist kein Datentyp oder ein Typ-Konstruktor. Es ist eine Typklasse. Sie können es überprüfen, indem Sie auf die Schaltfläche Source rechts neben einer Zeile klicken, die mit in einer Instances Tabelle in der Dokumentation beginnt. Zum Beispiel ist dies die erste Zeile des Codes für die Zeile mit LayoutClass Layout Window beginnend

instance LayoutClass Layout Window where 

Dies bedeutet, dass Layout Window eine Instanz des LayoutClass typeclass ist.

Answer 2

Es gibt eine „Quelle“ auf der rechten Seite der Linie, die Sie in diesem Fall verbunden sind, zu https://hackage.haskell.org/package/xmonad-0.12/docs/src/XMonad-Core.html#LayoutClass

Answer 3

Hoogle häufig für diesen Zweck verwendet wird: http://hoogle.haskell.org/?hoogle=LayoutClass

Aber es scheint nicht zu indizieren alle verfügbaren Pakete auf Hacker.

Die oben typeclass (vorerst in Alpha) durch die neueste indexiert Hoogle: http://hoogle.haskell.org/?hoogle=LayoutClass

Sie können die stackage Hoogle auch suchen: https://www.stackage.org/lts-8.11/hoogle?q=LayoutClass