Control.Eff.Choose

Nondeterministic choice effect

Documentation

data Choose v

Nondeterministic choice

Constructors

forall a . Choose [a] (a -> v)

Instances

Functor Choose

Typeable (* -> *) Choose

choose :: Member Choose r => [a] -> Eff r a

choose lst non-deterministically chooses one value from the lst choose [] thus corresponds to failure

runChoice :: forall a r. Eff (Choose :> r) a -> Eff r [a]

Run a nondeterministic effect, returning all values.

mzero' :: Member Choose r => Eff r a

MonadPlus-like operators are expressible via choose

mplus' :: Member Choose r => Eff r a -> Eff r a -> Eff r a

MonadPlus-like operators are expressible via choose