Ideas.Common.Algebra.Group

Monoids

class Monoid a

(<>)

Groups

class Group a

(<>-)

Monoids with a zero element

class MonoidZero a

data WithZero a

fromWithZero

CoMonoid, CoGroup, and CoMonoidZero (for matching)

class CoMonoid a

class CoGroup a

class CoMonoidZero a

associativeList