Numeric.Monoid.Multiplicative

Documentation

class Multiplicative r => Unital r where

Methods

one :: r

pow :: Whole n => r -> n -> r

productWith :: Foldable f => (a -> r) -> f a -> r

Instances

Unital Bool

Unital Int

Unital Int8

Unital Int16

Unital Int32

Unital Int64

Unital Integer

Unital Word

Unital Word8

Unital Word16

Unital Word32

Unital Word64

Unital ()

Unital Natural

AdditiveMonoid r => Unital (Exp r)

Unital (End r)

Unital r => Unital (Opposite r)

Rng r => Unital (RngRing r)

(Unital r, FreeUnitalAlgebra r a) => Unital (a -> r)

(Unital a, Unital b) => Unital (a, b)

FreeCounitalCoalgebra r m => Unital (Linear r m)

AdditiveMonoid n => Unital (:^ x n)

(Unital a, Unital b, Unital c) => Unital (a, b, c)

FreeCounitalCoalgebra r m => Unital (Map r b m)

(Unital a, Unital b, Unital c, Unital d) => Unital (a, b, c, d)

(Unital a, Unital b, Unital c, Unital d, Unital e) => Unital (a, b, c, d, e)

product :: (Foldable f, Unital r) => f r -> r