The MonadPlus Class

class hymn.types.monadplus.MonadPlus

the monadplus class

Monads that also support choice and failure.

plus(self, other)

the associative operation

property zero

the identity of plus().

It should satisfy the following law, left zero (notice the bind operator is haskell’s >>= here):

zero >>= f = zero