haskell - 如何将一个单子值提供给另一个单子？
问题描述
让我有一个
F1 :: K String
F2 :: L ()
如何从 F2 呼叫 F1？
K和L都是Moands。所以我正在寻找类似的东西
( a -> L b) -> K a -> L b
Hoogle 搜索结果
foldMapM :: (Monad m, Monoid w, Foldable t) => (a -> m w) -> t a -> m w
在我的情况下，与我想要的东西相匹配的t是不可折叠的。
让我有一个
F1 :: K String
F2 :: L ()
如何从 F2 呼叫 F1？
K和L都是Moands。所以我正在寻找类似的东西
( a -> L b) -> K a -> L b
Hoogle 搜索结果
foldMapM :: (Monad m, Monoid w, Foldable t) => (a -> m w) -> t a -> m w
在我的情况下，与我想要的东西相匹配的t是不可折叠的。
标签： haskell