GCHiコマンド

• GCHiコマンド
  • 2. 型とその多相性で、作った関数の型をみたり、型の情報を覗いたりしている
  • 使っているのは":"で始まるコマンド
  • それらはGCHiコマンドと言うものらしく、こちらを参照

:type \f n -> repeated f n 12
:info Num

*Main> :type \f n -> repeated f n 12
\f n -> repeated f n 12 :: Num a => (a -> a) -> Int -> a
*Main> :info Num
class (Eq a, Show a) => Num a where
  (+) :: a -> a -> a
  (*) :: a -> a -> a
  (-) :: a -> a -> a
  negate :: a -> a
  abs :: a -> a
  signum :: a -> a
  fromInteger :: Integer -> a
  	-- Defined in GHC.Num
instance Num Fixed64 -- Defined at sqrt.hs:11:10-20
instance Num Integer -- Defined in GHC.Num
instance Num Int -- Defined in GHC.Num
instance Num Float -- Defined in GHC.Float
instance Num Double -- Defined in GHC.Float