Data.MonadicStreamFunction.ArrowChoice

Documentation

Orphan instances

Monad m => ArrowChoice (MSF m)

Methods

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