NOTE: the latest version is 4.0.0

README About Versions Source Modules

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.

#Instances

floatDivisionRing : DivisionRing Float

Construct real number division ring

trivialDivisionRing : DivisionRing ()

Construct trivial Division ring

Modules