IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

Choiceを理解するために

http://hackage.haskell.org/package/profunctors-5.5/docs/src/Data.Profunctor.Choice.html#Choice

(->)はChoiceのインスタンスなので、

 > left' chr (Left 65)
Left 'A'
 > left' chr (Right 65)
Right 65
 > right' chr (Left 65) 
Left 65
 > right' chr (Right 65)
Right 'A'
 >

この場合、left'の場合は、Leftのときは関数適用して、Rightのときは何もしない。right'はその逆