Safe Haskell | None |
---|
Documentation
Additive r => Multiplicative (Exp r) | |
(Multiplicative (Exp r), Partitionable r) => Factorable (Exp r) | |
(Multiplicative (Exp r), Monoidal r) => Unital (Exp r) | |
(Multiplicative (Exp r), Idempotent r) => Band (Exp r) | |
(Unital (Exp r), Group r) => Division (Exp r) | |
(Multiplicative (Exp r), Abelian r) => Commutative (Exp r) |