License | MIT |
---|---|
Maintainer | mail@doisinkidney.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
- plusAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- mulAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- plusComm :: (Eq a, Semiring a, Show a) => a -> a -> Either String String
- mulDistribL :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- mulDistribR :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- plusId :: (Eq a, Semiring a, Show a) => a -> Either String String
- mulId :: (Eq a, Semiring a, Show a) => a -> Either String String
- annihilate :: (Eq a, Semiring a, Show a) => a -> Either String String
- unaryLaws :: (Eq a, Semiring a, Show a) => a -> Either String String
- binaryLaws :: (Eq a, Semiring a, Show a) => a -> a -> Either String String
- ternaryLaws :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- starLaw :: (Eq a, StarSemiring a, Show a) => a -> Either String String
- plusLaw :: (Eq a, StarSemiring a, Show a) => a -> Either String String
- starLaws :: (Eq a, StarSemiring a, Show a) => a -> Either String String
- nearTernaryLaws :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String
- ordLaws :: (Ord a, Semiring a, Show a) => a -> a -> a -> Either String String
- zeroLaw :: (Eq a, DetectableZero a, Show a) => a -> Either String String
- zeroIsZero :: (DetectableZero a, Show a) => f a -> Either String String
- zeroLaws :: (DetectableZero a, Show a, Eq a) => a -> Either String String
- nearUnaryLaws :: (Eq a, Semiring a, Show a) => a -> Either String String
Documentation
plusAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String Source #
Plus is associative.
mulAssoc :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String Source #
Multiplication is associative.
plusComm :: (Eq a, Semiring a, Show a) => a -> a -> Either String String Source #
Plus is commutative.
mulDistribL :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String Source #
Multiplication distributes left.
mulDistribR :: (Eq a, Semiring a, Show a) => a -> a -> a -> Either String String Source #
Multiplication distributes right.
zeroIsZero :: (DetectableZero a, Show a) => f a -> Either String String Source #