NOTE: the latest version is 4.0.0

README About Versions Source Modules

Field

Field typeclass definition and its instances for basic types.

Definition

type Field a

= Field (CommutativeDivisionRing a)

Explicit typeclass which implements group operations for type a.

#Instances

numberField : Field Float

Construct real number field

trivialField : Field ()

Construct trivial field

Modules