パターン

ワイルドカードパターン

あらゆる値にマッチします。

変数名

あらゆる値にマッチし、マッチした値に名前を付けます。

整数値

指定した整数値と等しい場合はパターンマッチに成功し、そうでない場合は失敗します。

浮動小数点数

指定した浮動小数点数値と等しい場合はパターンマッチに成功し、そうでない場合は失敗します。

"文字列"

指定した文字列値と等しい場合はパターンマッチに成功し、そうでない場合は失敗します。

'文字'

指定した文字値と等しい場合はパターンマッチに成功し、そうでない場合は失敗します。

true

または

false

指定した真偽値と等しい場合はパターンマッチに成功し、そうでない場合は失敗します。

()

値が()の場合に成功します。失敗することはありません。

~タグ
~タグ(引数パターン, ...)

指定したユーザ定義タグの場合はパターンマッチに成功し、そうでない場合は失敗します。引数がある場合はそれぞれの引数とパターンマッチさせます。

パターン1 :: パターン2

リストの先頭をパターン1にリストの先頭以外をパターン2にマッチさせます。

[パターン1, パターン2, ...]

リストにマッチします。マッチさせる値と長さが異なる場合は失敗します。

(パターン1, パターン2, ...)

タプルにマッチします。

パターン as 変数名

パターンにマッチした値に変数名でアクセスできるようにします。

パターン1 | パターン2

パターン1とパターン2のいずれかでマッチするときに成功します。

(パターン : 型)

パターンが指定した型を持つことを指定します。