Data.Monoid.Multiplicative

newtype Multiplicative a

Monoid and semigroup for semirings under multiplication.

Multiplicative x <> Multiplicative y == Multiplicative (x * y)
mempty :: Multiplicative _ == Multiplicative one

Constructors

• Multiplicative a

Instances

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