Data.MonadicStreamFunction.Instances.ArrowChoice

Instance of ArrowChoice for Monadic Stream Functions (MSF).

Import this module to include that (orphan) instance.

Documentation

Orphan instances

Monad m => ArrowChoice (MSF m)

ArrowChoice instance for MSFs.

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