Control.Effect.Nondeterminism

Documentation

class Monad m => Nondeterministic m where

Minimal complete definition

liftNondeterminism

Methods

liftNondeterminism :: [a] -> m a

Instances

Monad m => Nondeterministic (Eff [] m)

Methods

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

Nondeterministic m => Nondeterministic (Eff f m)

Methods

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

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

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

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

mzero :: Nondeterministic m => m a

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