Copyright	2017 Ixperta Solutions s.r.o.; 2017 Alexis King
License	BSD3
Maintainer	Alexis King <lexi.lambda@gmail.com>
Stability	experimental
Portability	GHC specific language extensions.
Safe Haskell	None
Language	Haskell2010

Control.Monad.Freer.NonDet

Description

Composable handler for NonDet effects.

Synopsis

data NonDet a where
- MZero :: forall a. NonDet a
- MPlus :: NonDet Bool
makeChoiceA :: forall f (effs :: [Type -> Type]) a. Alternative f => Eff (NonDet ': effs) a -> Eff effs (f a)
msplit :: forall (effs :: [Type -> Type]) a. Member NonDet effs => Eff effs a -> Eff effs (Maybe (a, Eff effs a))

Documentation

data NonDet a where Source #

A data type for representing nondeterminstic choice.

Constructors

MZero :: forall a. NonDet a
MPlus :: NonDet Bool

makeChoiceA :: forall f (effs :: [Type -> Type]) a. Alternative f => Eff (NonDet ': effs) a -> Eff effs (f a) Source #

A handler for nondeterminstic effects.

msplit :: forall (effs :: [Type -> Type]) a. Member NonDet effs => Eff effs a -> Eff effs (Maybe (a, Eff effs a)) Source #