haskell - 型クラスのインスタンスであるすべての型を見つける

Question

Learnyouahaskellは次のように述べています。

Enum クラスの型は

(), Bool, Char, Ordering, Int, Integer, Float and Double

GHCiでどの型がどの型クラスのインスタンスであるか、またはその逆かを見つける方法はありますか?

:t式の型を見つけるために GHCi で使用するのようなものが必要です。

Answer 1

もちろん。

型クラスの場合:

Prelude> :i Enum
class Enum a where
  succ :: a -> a
  pred :: a -> a
  toEnum :: Int -> a
  fromEnum :: a -> Int
  enumFrom :: a -> [a]
  enumFromThen :: a -> a -> [a]
  enumFromTo :: a -> a -> [a]
  enumFromThenTo :: a -> a -> a -> [a]
    -- Defined in `GHC.Enum'
instance Enum Ordering -- Defined in `GHC.Enum'
instance Enum Integer -- Defined in `GHC.Enum'
instance Enum Int -- Defined in `GHC.Enum'
instance Enum Char -- Defined in `GHC.Enum'
instance Enum Bool -- Defined in `GHC.Enum'
instance Enum () -- Defined in `GHC.Enum'
instance Enum Float -- Defined in `GHC.Float'
instance Enum Double -- Defined in `GHC.Float'

タイプの場合:

Prelude> :i Integer
data Integer
  = integer-gmp:GHC.Integer.Type.S# GHC.Prim.Int#
  | integer-gmp:GHC.Integer.Type.J# GHC.Prim.Int# GHC.Prim.ByteArray#
    -- Defined in `integer-gmp:GHC.Integer.Type'
instance Enum Integer -- Defined in `GHC.Enum'
instance Eq Integer -- Defined in `integer-gmp:GHC.Integer.Type'
instance Integral Integer -- Defined in `GHC.Real'
instance Num Integer -- Defined in `GHC.Num'
instance Ord Integer -- Defined in `integer-gmp:GHC.Integer.Type'
instance Read Integer -- Defined in `GHC.Read'
instance Real Integer -- Defined in `GHC.Real'
instance Show Integer -- Defined in `GHC.Show'
instance Ix Integer -- Defined in `GHC.Arr'

残念ながら、これは式ではなく識別子に限定されています。[Char]したがって、たとえば、どのインスタンスがタイプに直接適用されるかを調べることはできません。

また、スコープ内のインスタンスとタイプのみが表示されるため、興味のあるものをインポートする必要がある場合があることに注意してください。