Algebra.Additive

Class

class C a

subtract

Complex functions

sum

sum1

sumNestedAssociative

sumNestedCommutative

Instance definition helpers

elementAdd

elementSub

elementNeg

(<*>.+)

(<*>.-)

(<*>.-$)

Instances for atomic types

propAssociative

propCommutative

propIdentity

propInverse