Module

Data.Monoid.Additive

Package
prelude
Repository
purerl/purescript-prelude

#Additive Source

newtype Additive a

Monoid and semigroup for semirings under addition.

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

Constructors

Instances