Data.Semigroup.MonadPlus

A semigroup for working with instances of MonadPlus

Documentation

newtype MonadSum f a

A MonadSum turns any MonadPlus instance into a Monoid.

Constructors

MonadSum

Fields

getMonadSum :: f a

Instances

Monad f => Monad (MonadSum f)

MonadPlus f => MonadPlus (MonadSum f)

MonadPlus f => Reducer (f a) (MonadSum f a)

MonadPlus f => Monoid (MonadSum f a)

MonadPlus f => Semigroup (MonadSum f a)