Data.MonadicStreamFunction.ArrowChoice

Documentation

Orphan instances

Monad m => ArrowChoice (MStreamF m)

Methods

left :: MStreamF m b c -> MStreamF m (Either b d) (Either c d)

right :: MStreamF m b c -> MStreamF m (Either d b) (Either d c)

(+++) :: MStreamF m b c -> MStreamF m b' c' -> MStreamF m (Either b b') (Either c c')

(|||) :: MStreamF m b d -> MStreamF m c d -> MStreamF m (Either b c) d