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

exclusiveOr : Ring Basics.Bool

Construct exclusive all ring

number : Ring number

Construct real number ring

trivial : Ring ()

Construct trivial ring