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, Foldable f) => f a -> m a Source #

mzero :: Nondeterministic m => m a Source #

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