class ChoiceExtensions Source #
Methods
method K<F, A> Choose (K<F, A> fb) Source #
Where F defines some notion of failure or choice, this function picks the
first argument that succeeds. So, if fa succeeds, then fa is returned;
if it fails, then fb is returned.
Parameters
| param | fb | Second structure to return if the first one fails |
| returns | First argument to succeed | |
method K<F, A> Choose (Memo<F, A> fb) Source #
Where F defines some notion of failure or choice, this function picks the
first argument that succeeds. So, if fa succeeds, then fa is returned;
if it fails, then fb is returned.
Parameters
| param | fb | Second structure to return if the first one fails |
| returns | First argument to succeed | |