jonathanfishbein1 / numeric-typeclasses / Group

Group typeclass definition and its instances for basic types.

Definition


type alias Group a =
{ monoid : Monoid a
, inverse : a -> a 
}

Explicit typeclass which implements group operations for type a.

numberSum : Group number

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

trivial : Group ()

Construct trivial group

exclusiveOr : Group Basics.Bool

Construct exclusive Or

modularArithmetic : Basics.Int -> Group Basics.Int

Instance for modularArithmetic

floatProduct : Group Basics.Float

Implements product.