2014-06-24から1日間の記事一覧
モナド変換子 Haskellにおいてモナド変換子(Monad transformer)は、以下の条件を満たすtです: tのkindは(* -> *) -> * -> * lift :: Monad m => m a -> t m aが定義されている liftが以下の法則を満たす: lift . return = return ∀m k. lift (m >>= k) = lif…
モナド変換子 Haskellにおいてモナド変換子(Monad transformer)は、以下の条件を満たすtです: tのkindは(* -> *) -> * -> * lift :: Monad m => m a -> t m aが定義されている liftが以下の法則を満たす: lift . return = return ∀m k. lift (m >>= k) = lif…