NOTE: the latest version is 4.0.0

README About Versions Source Modules

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.

#Instances

floatCommutativeDivisionRing : CommutativeDivisionRing Float

Construct real number division ring

trivialCommutativeDivisionRing : CommutativeDivisionRing ()

Construct trivial Division ring

Modules