jonathanfishbein1 / numeric-typeclasses / CommutativeDivisionRing

Commutative Divison Ring typeclass definition and its instances for basic types.

Definition


type CommutativeDivisionRing a
    = CommutativeDivisionRing (DivisionRing a)

Explicit typeclass which implements division ring operations for type a.

float : CommutativeDivisionRing Basics.Float

Construct real number division ring

trivial : CommutativeDivisionRing ()

Construct trivial Division ring