Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
The functor representing the effect. You shouldn't need
to create this manually, just use choose
or searchFail
.
SChoose [w] (w -> a) |
choose :: (Member (Search w) r, Typeable w) => [w] -> Eff r w Source #
Nondeterministicaly choose an element from a list
searchFail :: (Member (Search w) r, Typeable w) => T w -> Eff r () Source #
Fail a search. Equal to choosing from an empty list.