Safe Haskell | Trustworthy |
---|---|

Language | Haskell2010 |

Nondeterministic choice effect

# Documentation

Nondeterministic choice

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

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

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