Ring typeclass definition and its instances for basic types.
{ addition : AbelianGroup a
, multiplication : Monoid a
}
Explicit typeclass which implements ring operations for type a
.
exclusiveOr : Ring Basics.Bool
Construct exclusive all ring
number : Ring number
Construct real number ring
trivial : Ring ()
Construct trivial ring