换句话说,是否可以通过某种方式组合类似的东西sequence并join具有功能:
sequence
join
m (ConduitT a b m c) -> ConduitT a b m c
一个迫切的问题似乎是,ConduitT 没有一个Foldable实例,但也有可折功能。尽管在任何情况下,这都可能使错误的树陷入困境。
ConduitT
Foldable
查看更多
ConduitT是monad转换器:它实现lift :: m x -> ConduitT a b m x。
lift :: m x -> ConduitT a b m x
join . lift :: m (ConduitT a b m c) -> ConduitT a b m c