Module
Data.Monoid.Additive
- Package
- purescript-monoidDEPRECATED
- Repository
- purescript/purescript-monoid
#Additive Source
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)