Safe Haskell	None
Language	Haskell2010

Control.Effect.NonDet.Internal

Documentation

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

Constructors

Empty
Choose (Bool -> k)

Instances

Effect NonDet Source #
Instance details 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)) Source #
HFunctor NonDet Source #
Instance details Defined in Control.Effect.NonDet.Internal Methods fmap' :: (a -> b) -> NonDet m a -> NonDet m b Source # hmap :: (forall x. m x -> n x) -> NonDet m a -> NonDet n a Source #
Functor (NonDet m) Source #
Instance details 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) Source #
Instance details Defined in Control.Effect.NonDet Methods ret :: a -> AltC f m a Source # eff :: (NonDet :+: sig) (AltC f m) (AltC f m a) -> AltC f m a Source #