haskell - Joining Nested Monads -
i using frp.sodium
, have object of type io (behavior (io (behavior)))
. need convert object type io (behavior)
, using akin nested join
. possible using sodium functions? there more general solution a (b (a (b c))) -> (b c))
?
there isn't obvious way so. cobble right type using functions sample
, sync
or updates
, executesyncio/executeasyncio
, wouldn't obey monad
laws.
there isn't more general solution a (b (a (b c))) -> (b c))
, there if b
traversable
, lets rearrange things a (a (b (b c)))
traversing outer b
.
Comments
Post a Comment