dunai-0.8.0: Generalised reactive framework supporting classic, arrowized and monadic FRP.
Safe HaskellSafe-Inferred



Instance of ArrowChoice for Monadic Stream Functions (MSF).

Import this module to include that (orphan) instance.

Orphan instances

Monad m => ArrowChoice (MSF m) Source #

ArrowChoice instance for MSFs.

Instance details


left :: MSF m b c -> MSF m (Either b d) (Either c d) #

right :: MSF m b c -> MSF m (Either d b) (Either d c) #

(+++) :: MSF m b c -> MSF m b' c' -> MSF m (Either b b') (Either c c') #

(|||) :: MSF m b d -> MSF m c d -> MSF m (Either b c) d #