Safe Haskell	Safe
Language	Haskell2010

Control.Eff.Choose

Description

Nondeterministic choice effect

Synopsis

Documentation

data Choose v #

Nondeterministic choice

Constructors

Choose [a] (a -> v)

Instances

Functor Choose #
Methods fmap :: (a -> b) -> Choose a -> Choose b # (<$) :: a -> Choose b -> Choose a #

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.

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