jonathanfishbein1 / numeric-typeclasses / AbelianGroup

Abelian Group typeclass definition and its instances for basic types.

Definition


type AbelianGroup a
    = AbelianGroup (Group a)

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

numberSum : AbelianGroup number

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

trivial : AbelianGroup ()

Construct trivial group

exclusiveOr : AbelianGroup Basics.Bool

Construct exclusive Or

modularArithmetic : Basics.Int -> AbelianGroup Basics.Int

Instance for modularArithmetic