Semiring typeclass definition and its instances for basic types.
Explicit typeclass which implements group operations for type a.
a
#Instances
Construct real number ring
Construct trivial ring
Construct exclusive all ring
Explicit typeclass which implements group operations for type
a.