effects-0.2.3: Computational Effects

Safe HaskellSafe
LanguageHaskell98

Control.Effects.NonDet

Contents

Documentation

choose :: (AutoLift r m n, Monoid r, Foldable f) => Effect r m -> f a -> n a Source #

guard :: (Monoid r, AutoLift r m n) => Effect r m -> Bool -> n () Source #

dfs :: Monad m => (a -> r) -> Handler r r m a Source #

set :: Monad m => Handler (Set a) (Set a) m a Source #

alternatives :: (Monad m, Alternative f) => Handler (WrappedAlt f a) (f a) m a Source #

accumulate :: (Monad m, Newtype n) => (a -> n) -> Handler n (O n) m a Source #

bfs :: (Monad m, Monoid r) => (a -> r) -> Handler (BFS r) r m a Source #

Orphan instances