Safe Haskell | Trustworthy |
---|
Nondeterministic choice effect
Documentation
Nondeterministic choice
forall a . Choose [a] (a -> v) |
choose :: Member Choose r => [a] -> Eff r aSource
choose lst non-deterministically chooses one value from the lst choose [] thus corresponds to failure