Empty, Each, Plus

小粒な型クラスその２

Empty

空を定義します。

<∅>

コンテナの型と要素の型を渡し、空のコンテナを返します。
∅が打ちにくい。


Each

繰り返し処理を定義します。

foreach, |>|

関数を渡し、処理を繰り返します。
|>|はforeachのエイリアスです。


Plus

plusという２つの値を結合する関数を持つ。
Semigroupよりも、短絡評価ORの性質が強い。

<+>, <+>:

<+> は２つのコンテナを結合します。
<+>: は要素の型にPureのインスタンスが必要で、要素を渡して包み、結合します。


今回紹介した型クラスは関数がそこまで多くないのであまり自分で定義することはないだろうけど、定義されたものを使う分にはとても便利です。