Control.Effects.NonDet

Documentation

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

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

dfs :: (Monad m, Monoid r) => (a -> r) -> Handler r r m a

set :: (Monad m, Ord a) => Handler (Set a) (Set a) m a

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

accumulate :: (Monad m, Newtype n o) => (a -> n) -> Handler n o m a

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