Either モナドの使い方 - Haskell 入門

Either モナドの使い方 Either a b Either a b 型は a と b という２種類のデータ型を保持できる。つまり、Either 型のデータコンストラクタは Left a と Right b である。データコンストラクタ Left と Right は a と b という異なる型のデータをコンテナに保持できる。 Either 型は Maybe 型と同じように失敗する可能性のある処理の値として使う。Right b は Just b と同じ意味がある。Left "error" は Nothing と同じ働きをするが、フィールドにエラーメッセージを入れることができる。Right は正しいという意味と、Either a b の右側にあるという意味が掛けてある。 Either 型が値の関数 Either a b 型が値になる関数の例を次に示す。 Prelude> :{ Prelud

[hamamuratakuo]

Right は正しいという意味と、Either a b の右側にあるという意味が掛けてある。