jonathanfishbein1 / numeric-typeclasses / DivisionRing

Divison Ring typeclass definition and its instances for basic types.

Definition


type alias DivisionRing a =
{ addition : AbelianGroup a
, multiplication : Group a 
}

Explicit typeclass which implements division ring operations for type a.

floatDivisionRing : DivisionRing Basics.Float

Construct real number division ring

trivialDivisionRing : DivisionRing ()

Construct trivial Division ring