dunai-0.8.3: Generalised reactive framework supporting classic, arrowized and monadic FRP.
Copyright(c) Ivan Perez and Manuel Baerenz 2016
LicenseBSD3
Maintainerivan.perez@keera.co.uk
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.MonadicStreamFunction.Instances.ArrowPlus

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] #