Data.Monoid.Additive

newtype Additive a

Monoid and semigroup for semirings under addition.

Additive x <> Additive y == Additive (x + y)
mempty :: Additive _ == Additive zero

Constructors

• Additive a

Instances

• Newtype (Additive a) _
• (Eq a) => Eq (Additive a)
• (Ord a) => Ord (Additive a)
• (Bounded a) => Bounded (Additive a)
• Functor Additive
• Invariant Additive
• Apply Additive
• Applicative Additive
• Bind Additive
• Monad Additive
• Extend Additive
• Comonad Additive
• (Show a) => Show (Additive a)
• (Semiring a) => Semigroup (Additive a)
• (Semiring a) => Monoid (Additive a)