Copyright	(c) Ivan Perez and Manuel Baerenz 2016
License	BSD3
Maintainer	ivan.perez@keera.co.uk
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 of `Alternative` for Monadic Stream Functions (`MSF`), implemented using the `ArrowZero` and `ArrowPlus` instances.
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] #