jonathanfishbein1/numeric-typeclasses/4.0.0

CommutativeMonoid

Commutative Monoid typeclass definition and its instances for basic types.

Definition

= CommutativeMonoid (Monoid a)

Explicit typeclass which implements monoid operations for type a when the operation is commutative.

Instances

Construct an instance for any type which satisfies Elm's number magic constraint. Implements multiplication.

Instance for integers under the multiplication operation.

Construct an instance for any type which satisfies Elm's number magic constraint. Implements sum.

Instance for integers under the sum operation.

Instance for trivial monoid

Instance for modularArithmetic

Instance for all

Instance for any

Instance for exclusiveOr

Construct an instance by specifying a commutative semigroup instance and an identity value.