2011-04-15から1日間の記事一覧

MonadPlus:返す値の型をリスト、Maybeから選択できる関数

あどけない話 / QAで学ぶMonadの最後に MonadPlus を使って、返す型を指定することにより、検索結果をリストで返すか、Maybe で返すか指定できる関数が紹介されています。 MonadPlus の定義 class Monad m => MonadPlus m where -- | the identity of 'mplus…