NOTE: the latest version is 4.0.0

README About Versions Source Modules

AbelianGroup

Abelian Group typeclass definition and its instances for basic types.

Definition

type AbelianGroup a

= AbelianGroup

{ monoid : CommutativeMonoid a

, inverse : a -> a

}

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

#Instances

numberSum : AbelianGroup number

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

trivialGroup : AbelianGroup ()

Construct trivial group

exclusiveOr : AbelianGroup Bool

Construct exclusive Or

modularArithmetic : Int -> AbelianGroup Int

Instance for modularArithmetic

Modules