Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Division r => RightModule Integer (Log r) Source # | |
Unital r => RightModule Natural (Log r) Source # | |
Division r => LeftModule Integer (Log r) Source # | |
Unital r => LeftModule Natural (Log r) Source # | |
Band r => Idempotent (Log r) Source # | |
Commutative r => Abelian (Log r) Source # | |
Factorable r => Partitionable (Log r) Source # | |
Multiplicative r => Additive (Log r) Source # | |
Unital r => Monoidal (Log r) Source # | |
Division r => Group (Log r) Source # | |