Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => Nondeterministic m where Source
liftNondeterminism :: [a] -> m a Source
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