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