jonathanfishbein1 / numeric-typeclasses / CommutativeMonoid

Commutative Monoid typeclass definition and its instances for basic types.

Definition


type CommutativeMonoid a
    = CommutativeMonoid (Monoid a)

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

Instances

numberProduct : CommutativeMonoid number

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

intProduct : CommutativeMonoid Basics.Int

Instance for integers under the multiplication operation.

numberSum : CommutativeMonoid number

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

intSum : CommutativeMonoid Basics.Int

Instance for integers under the sum operation.

unit : CommutativeMonoid ()

Instance for trivial monoid

modularArithmetic : Basics.Int -> CommutativeMonoid Basics.Int

Instance for modularArithmetic

all : CommutativeMonoid Basics.Bool

Instance for all

any : CommutativeMonoid Basics.Bool

Instance for any

exclusiveOr : CommutativeMonoid Basics.Bool

Instance for exclusiveOr

commutativeSemigroupAndIdentity : Semigroup a -> a -> CommutativeMonoid a

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