jonathanfishbein1/numeric-typeclasses/3.0.1

NOTE: the latest version is 4.0.0

Ring

Ring typeclass definition and its instances for basic types.

Definition

type alias Ring a =
{ addition : AbelianGroup a
, multiplication : Monoid a
}

Explicit typeclass which implements ring operations for type a.

#Instances

exclusiveOrRing : Ring Bool

Construct exclusive all ring

numberRing : Ring number

Construct real number ring

trivialRing : Ring ()

Construct trivial ring