| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Effect.Nondeterminism
Documentation
class Monad m => Nondeterministic m where Source
Methods
liftNondeterminism :: [a] -> m a Source
Instances
| Monad m => Nondeterministic (Eff [] m) Source | |
| Nondeterministic m => Nondeterministic (Eff f m) Source |
choose :: Nondeterministic m => [a] -> m a Source
runNondeterminism :: Monad m => Eff [] m a -> m [a] Source
mzero :: Nondeterministic m => m a Source
mplus :: Nondeterministic m => m a -> m a -> m a Source