freer-simple-1.2.1.2: A friendly effect system for Haskell.
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

Documentation

data NonDet a where Source #

A data type for representing nondeterminstic choice.

Constructors

MZero :: NonDet a
MPlus :: NonDet Bool

makeChoiceA :: Alternative f => Eff ( NonDet ': effs) a -> Eff effs (f a) Source #

A handler for nondeterminstic effects.

msplit :: Member NonDet effs => Eff effs a -> Eff effs ( Maybe (a, Eff effs a)) Source #