License | MIT |
---|---|
Maintainer | mail@doisinkidney.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
- plusAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property
- mulAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property
- plusComm :: (Eq a, Semiring a, Show a) => a -> a -> Property
- mulDistribL :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property
- mulDistribR :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property
- plusId :: (Eq a, Semiring a, Show a) => a -> Property
- mulId :: (Eq a, Semiring a, Show a) => a -> Property
- annihilate :: (Eq a, Semiring a, Show a) => a -> Property
- semiringLaws :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property
- type Laws a = a -> a -> a -> Property
Documentation
mulAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property Source #
Multiplication is associative.
mulDistribL :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property Source #
Multiplication distributes left.
mulDistribR :: (Eq a, Semiring a, Show a) => a -> a -> a -> Property Source #
Multiplication distributes right.