transformers-eff-0.2.1.0: An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff

Safe HaskellNone
LanguageHaskell2010

Control.Effect.Nondeterminism

Documentation

class Monad m => Nondeterministic m where Source #

Minimal complete definition

liftNondeterminism

Methods

liftNondeterminism :: [a] -> m a Source #

Instances

Monad m => Nondeterministic (Eff [] m) Source # 

Methods

liftNondeterminism :: [a] -> Eff [] m a Source #

Nondeterministic m => Nondeterministic (Eff f m) Source # 

Methods

liftNondeterminism :: [a] -> Eff f m a Source #

choose :: (Nondeterministic m, Foldable f) => f a -> m a Source #

runNondeterminism :: (Monad m, Foldable f) => (b -> a -> b) -> b -> Eff f m a -> m b Source #

runNondeterminismM :: (Monad m, Foldable f) => (b -> a -> m b) -> m b -> Eff f m a -> m b Source #

mzero :: Nondeterministic m => m a Source #

mplus :: Nondeterministic m => m a -> m a -> m a Source #