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)

Defined in Data.Semigroup.MonadPlus

Methods

(>>=) :: MonadSum f a -> (a -> MonadSum f b) -> MonadSum f b

(>>) :: MonadSum f a -> MonadSum f b -> MonadSum f b

return :: a -> MonadSum f a

Functor f => Functor (MonadSum f)

Defined in Data.Semigroup.MonadPlus

Methods

fmap :: (a -> b) -> MonadSum f a -> MonadSum f b

(<$) :: a -> MonadSum f b -> MonadSum f a

Applicative f => Applicative (MonadSum f)

Defined in Data.Semigroup.MonadPlus

Methods

pure :: a -> MonadSum f a

(<*>) :: MonadSum f (a -> b) -> MonadSum f a -> MonadSum f b

liftA2 :: (a -> b -> c) -> MonadSum f a -> MonadSum f b -> MonadSum f c

(*>) :: MonadSum f a -> MonadSum f b -> MonadSum f b

(<*) :: MonadSum f a -> MonadSum f b -> MonadSum f a

Alternative f => Alternative (MonadSum f)

Defined in Data.Semigroup.MonadPlus

Methods

empty :: MonadSum f a

(<|>) :: MonadSum f a -> MonadSum f a -> MonadSum f a

some :: MonadSum f a -> MonadSum f [a]

many :: MonadSum f a -> MonadSum f [a]

MonadPlus f => MonadPlus (MonadSum f)

Defined in Data.Semigroup.MonadPlus

Methods

mzero :: MonadSum f a

mplus :: MonadSum f a -> MonadSum f a -> MonadSum f a

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

Defined in Data.Semigroup.MonadPlus

Methods

unit :: f a -> MonadSum f a

snoc :: MonadSum f a -> f a -> MonadSum f a

cons :: f a -> MonadSum f a -> MonadSum f a

MonadPlus f => Semigroup (MonadSum f a)

Defined in Data.Semigroup.MonadPlus

Methods

(<>) :: MonadSum f a -> MonadSum f a -> MonadSum f a

sconcat :: NonEmpty (MonadSum f a) -> MonadSum f a

stimes :: Integral b => b -> MonadSum f a -> MonadSum f a

MonadPlus f => Monoid (MonadSum f a)

Defined in Data.Semigroup.MonadPlus

Methods

mempty :: MonadSum f a

mappend :: MonadSum f a -> MonadSum f a -> MonadSum f a

mconcat :: [MonadSum f a] -> MonadSum f a