Control.Monad.Hefty.NonDet

Documentation

runNonDet :: forall f (ef :: [Type -> Type]) a. Alternative f => Eff ('[] :: [EffectH]) (Choose ': (Empty ': ef)) a -> Eff ('[] :: [EffectH]) ef (f a)

NonDet effects handler for alternative answer type.

runNonDetMonoid :: forall ans (ef :: [EffectF]) a. Monoid ans => (a -> Eff ('[] :: [EffectH]) ef ans) -> Eff ('[] :: [EffectH]) (Choose ': (Empty ': ef)) a -> Eff ('[] :: [EffectH]) ef ans

NonDet effects handler for monoidal answer type.

runChoose :: forall f (ef :: [Type -> Type]) a. Alternative f => Eff ('[] :: [EffectH]) (Choose ': ef) a -> Eff ('[] :: [EffectH]) ef (f a)

Choose effect handler for alternative answer type.

runChooseMonoid :: forall ans (ef :: [EffectF]) a. Semigroup ans => (a -> Eff ('[] :: [EffectH]) ef ans) -> Eff ('[] :: [EffectH]) (Choose ': ef) a -> Eff ('[] :: [EffectH]) ef ans

Choose effect handler for monoidal answer type.

runEmpty :: forall a (r :: [Type -> Type]). Eff ('[] :: [EffectH]) (Empty ': r) a -> Eff ('[] :: [EffectH]) r (Maybe a)

Empty effect handler.

runChooseH :: forall (ef :: [EffectF]) (eh :: [(Type -> Type) -> Type -> Type]). Choose <| ef => Eff (ChooseH ': eh) ef ~> Eff eh ef

ChooseH effect elaborator.

Convert a higher-order effect of the form

chooseH :: m a -> m a -> m a

into a first-order effect of the form:

choose :: m Bool

branch :: forall (ef :: [EffectF]) (eh :: [EffectH]) a. Choose <| ef => Eff eh ef a -> Eff eh ef a -> Eff eh ef a

Faster than <|>.