jonathanfishbein1 / numeric-typeclasses / CommutativeRing

Commutative Ring typeclass definition and its instances for basic types.

Definition


type CommutativeRing a
    = CommutativeRing (Ring a)

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

number : CommutativeRing number

Construct real number ring

trivial : CommutativeRing ()

Construct trivial ring

exclusiveOr : CommutativeRing Basics.Bool

Construct exclusive all ring