lnzntのHaskell日記

型と基本クラス

独習 | 21:25 |

基本クラス

クラス

共通のメソッドを提供する型の集合

メソッド

多重定義された関数

Eq - 同等クラス

  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool

例

Prelude> 1 == 1
True

Ord - 順序クラス

  (<)   :: a -> a -> Bool
  (<=)  :: a -> a -> Bool
  (>)   :: a -> a -> Bool
  (>=)  :: a -> a -> Bool
  (min) :: a -> a -> a
  (max) :: a -> a -> a

例

Prelude> 2 > 1
True

Show - 表示可能クラス

  show :: a -> Show

例

Prelude> show False
"False"

Read - 読み込み可能クラス

  read :: String -> a

例

Prelude> read "False"::Bool
False

Num - 数値クラス

  (+)    :: a -> a -> a
  (-)    :: a -> a -> a
  (*)    :: a -> a -> a
  negate :: a -> a
  abs    :: a -> a
  signum :: a -> a

例

Prelude> 1 + 2
3

Integral - 整数クラス

  div :: a -> a -> a
  mod :: a -> a -> a

例

Prelude> 7 `div` 3
2

Fractional - 分数クラス

  (/)   :: a -> a -> a
  recip :: a -> a              -- 逆数

例

Prelude> 7 / 3
2.3333333333333335