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

Popular posts from this blog

java - UnknownEntityTypeException: Unable to locate persister (Hibernate 5.0) -

python - ValueError: empty vocabulary; perhaps the documents only contain stop words -

ubuntu - collect2: fatal error: ld terminated with signal 9 [Killed] -