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
- semiringLaws :: (Eq a, Semiring a, Show a, Arbitrary a) => Proxy 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.