NOTE: the latest version is 4.0.0

README About Versions Source Modules

Semiring

Semiring typeclass definition and its instances for basic types.

Definition

type alias Semiring a =

{ addition : CommutativeMonoid a

, multiplication : Monoid a

}

Explicit typeclass which implements group operations for type a.

#Instances

numberRing : Semiring number

Construct real number ring

trivialRing : Semiring ()

Construct trivial ring

exclusiveOrRing : Semiring Bool

Construct exclusive all ring

Modules