An effect corresponding to the Alternative typeclass.

Run a NonDet effect in terms of some underlying Alternative f.

Run a NonDet effect in terms of an underlying Maybe

Unlike runNonDet, uses of <|> will not execute the second branch at all if the first option succeeds.

Since: 1.1.0.0

Transform a NonDet effect into an Error e effect, through providing an exception that empty may be mapped to.

This allows <|> to handle throws of the Error e effect.

Since: 1.1.0.0