jonathanfishbein1/numeric-typeclasses/1.1.0

NOTE: the latest version is 4.0.0

Field

Field typeclass definition and its instances for basic types.

Definition

type Field a
= Field (CommutativeRing a)

Explicit typeclass which implements group operations for type a.

#Instances

Construct exclusive all field

Construct real number field

Construct trivial field