jonathanfishbein1/numeric-typeclasses/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

exclusiveOr : Ring Bool

Construct exclusive all ring

number : Ring number

Construct real number ring

trivial : Ring ()

Construct trivial ring