HaskellのMaybeTモナドトランスフォーマー
モナドトランスフォーマー
モナドトランスフォーマーは、異なる2つのモナドを1つのモナドに合成するために使用されます。モナドトランスフォーマー自体もまたモナドです。
MaybeT
MaybeTモナドトランスフォーマーは、Maybeモナドを他のモナド内にカプセル化することで、両者を統合します。
newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) }
instance (Monad m) = ...
6月15日 23:07 投稿