jonathanfishbein1 / numeric-typeclasses / 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.

float : Field Basics.Float

Construct real number field

trivial : Field ()

Construct trivial field