はじめに

Haskellには、予め多くの組み込む関数が用意されています。
その関数は、予め読み込まれるモジュールの中で定義されています。
これをプレリュードと呼びます。
今回は、このプレリュード関数にどのようなものがあるのか、実際に試しながらその結果を踏まえまとめていこうと思います。
ちなみに今回参考にしている資料はこちらHaskell公式-Preludeです。

プレリュード関数

Bool型の関数

&&

例.hs

  True && False
=> False

   False && False
=> False

||

例.hs

   True || False
=> True

   False || False
=> False

not

例.hs

   not True
=> False

   not False
=> True

otherwise

trueと同値です。
ガードを読みやすくするために使用する。

例.hs

   otherwise
=> True

Maybe型の関数

either

下記の例で説明すると、Leftなら、(+1)をRightなら(+2)を処理する関数を渡してEitherを取り除きます。

例.hs

   either (+ 1) (* 2) $ Left 5
=> 6

Tuples型の関数

fst

ペアの最初の値を抽出します。

例.hs

   fst ("Hello", "World")
=> "Hello"

snd

ペアの2番目の値を抽出します。

例.hs

   snd ("Hello", "World")
=> "World"

curry

カリー化されていない関数をカリー化された関数に変換します。

例.hs

  (curry fst)  "Hello" "World"
=> "Hello"

uncurry

カリー化された関数をペアの関数に変換します。

例.hs

   (uncurry (-)) (3, 1)
=> 2

Eq型クラスの関数

(==)

例.hs

   1 == 1
=> True

   1 == 2
=> False

(/=)

例.hs

   1 /= 1
=> False

   1 /= 2
=> True

Ord型クラスの関数

(<)

例.hs

   1 < 1
=> False

   1 < 2
=> True

(<=)

例.hs

    1 <= 1
=> True

    1 <= 2
=> True

(>)

例.hs

    1 > 1
=> False

   1 > 2
=> False

   2 > 1
=> True

(>=)

例.hs

   1 >= 1
=> True

   1 >= 2
=> False

max

2つの値の大きい値を返す。

例.hs

   max 1 5
=> 5

min

２つの値の小さい値を返す。

例.hs

   min 1 5
=> 1

Enum型クラスの関数

succ

引数で受け取った値の次の値を返す。

例.hs

  succ 1
=> 2

pred

引数で受け取った値の前の値を返す。

例.hs

   pred 2
=> 1

toEnum

数値 → 列挙型へconvertします。

例.hs

data Pets =  Dog | Cat deriving (Show, Enum)

main :: IO ()
main =  do
        print (toEnum 0 :: Pets)

=> Dog

fromEnum

列挙型 → 数値へconvertします。

例.hs

data Pets =  Dog | Cat deriving (Show, Enum)

main :: IO ()
main =  do
        print $ fromEnum Dog

=> 0

おわり

今日はここまで、次回はBounded型クラスからはじめます。