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