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 => (a -> r) -> Handler r r m a

set :: Monad m => 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) => (a -> n) -> Handler n (O n) m a

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

Orphan instances

(Applicative m, Semigroup r) => Semigroup (WrappedMonad m r)

Methods

(<>) :: WrappedMonad m r -> WrappedMonad m r -> WrappedMonad m r

sconcat :: NonEmpty (WrappedMonad m r) -> WrappedMonad m r

stimes :: Integral b => b -> WrappedMonad m r -> WrappedMonad m r

(Applicative m, Monoid r) => Monoid (WrappedMonad m r)

Methods

mempty :: WrappedMonad m r

mappend :: WrappedMonad m r -> WrappedMonad m r -> WrappedMonad m r

mconcat :: [WrappedMonad m r] -> WrappedMonad m r