Control.Effect.NonDet.Internal

Documentation

data NonDet (m :: * -> *) k

Constructors

Empty

Choose (Bool -> k)

Instances

Effect NonDet

Defined in Control.Effect.NonDet.Internal

Methods

handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> NonDet m (m a) -> NonDet n (n (f a))

HFunctor NonDet

Defined in Control.Effect.NonDet.Internal

Methods

fmap' :: (a -> b) -> NonDet m a -> NonDet m b

hmap :: (forall x. m x -> n x) -> NonDet m a -> NonDet n a

Functor (NonDet m)

Defined in Control.Effect.NonDet.Internal

Methods

fmap :: (a -> b) -> NonDet m a -> NonDet m b

(<$) :: a -> NonDet m b -> NonDet m a

(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m)

Defined in Control.Effect.NonDet

Methods

ret :: a -> AltC f m a

eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a