| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Algebra.Multiplicative.MSemigroup
Description
Provides the MSemigroup typeclass.
Since: 0.1
Synopsis
- class MSemigroup s where
- (.*.) :: s -> s -> s
Documentation
class MSemigroup s where Source #
Defines a multiplicative semigroup.
Examples:
>>>:{-- Multiplication f1 :: (MSemigroup g) => g -> g f1 x = x .*. x :}
>>>f1 525
Since: 0.1
Methods
(.*.) :: s -> s -> s infixl 7 Source #
Should satisfy:
-- associativity a .*. (b .*. c) === (a .*. b) .*. c
Since: 0.1