NOTE: the latest version is 4.0.0

README About Versions Source Modules

CommutativeRing

Commutative Ring typeclass definition and its instances for basic types.

Definition

type CommutativeRing a

= CommutativeRing

{ addition : AbelianGroup a

, multiplication : CommutativeMonoid a

}

Explicit typeclass which implements ring operations for type a when the multiplication operation is commutative.

#Instances

numberRing : CommutativeRing number

Construct real number ring

trivialRing : CommutativeRing ()

Construct trivial ring

exclusiveOrRing : CommutativeRing Bool

Construct exclusive all ring

Modules