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

# 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.