Ideas.Common.Algebra.Field

Semi-ring

class SemiRing a

Ring

class Ring a

Field

class Field a

Additive monoid

data Additive a

Multiplicative monoid

data Multiplicative a

Datatype for safe numeric operators

data SafeNum a

safeNum

CoSemiRing, CoRing, and CoField (for matching)

class CoSemiRing a

class CoRing a

class CoField a