Numeric.Algebra.Class

Multiplicative Semigroups

class Multiplicative r

pow1pIntegral

product1

Semirings

class Semiring r

Left and Right Modules

class LeftModule r m

class RightModule r m

class Module r m

Additive Monoids

class Monoidal m

sum

sinnumIdempotent

Associative algebras

class Algebra r a

Coassociative coalgebras

class Coalgebra r c