Data.MonadicStreamFunction.Instances.ArrowPlus

Instance of ArrowPlus for Monadic Stream Functions (MSF).

Import this module to include that (orphan) instance.

This is only defined for monads that are instances of MonadPlus.

Orphan instances

(Monad m, MonadPlus m) => ArrowZero (MSF m)

Instance of ArrowZero for Monadic Stream Functions (MSF). The monad must be an instance of MonadPlus.

Methods

zeroArrow :: MSF m b c

(Monad m, MonadPlus m) => ArrowPlus (MSF m)

Instance of ArrowPlus for Monadic Stream Functions (MSF). The monad must be an instance of MonadPlus.

Methods

(<+>) :: MSF m b c -> MSF m b c -> MSF m b c

(Functor m, Monad m, MonadPlus m) => Alternative (MSF m a)

Instance of Alternative for Monadic Stream Functions (MSF), implemented using the ArrowZero and ArrowPlus instances.

Methods

empty :: MSF m a a0

(<|>) :: MSF m a a0 -> MSF m a a0 -> MSF m a a0

some :: MSF m a a0 -> MSF m a [a0]

many :: MSF m a a0 -> MSF m a [a0]