Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.MonadicStreamFunction.Instances.ArrowPlus

Contents

Description

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) Source #	Instance of `ArrowZero` for Monadic Stream Functions (`MSF`). The monad must be an instance of `MonadPlus`.
Instance details Methods zeroArrow :: MSF m b c #
(Monad m, MonadPlus m) => ArrowPlus (MSF m) Source #	Instance of `ArrowPlus` for Monadic Stream Functions (`MSF`). The monad must be an instance of `MonadPlus`.
Instance details Methods (<+>) :: MSF m b c -> MSF m b c -> MSF m b c #
(Functor m, Monad m, MonadPlus m) => Alternative (MSF m a) Source #
Instance details 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] #