Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell2010 |

## Synopsis

- leftDistributive :: SemiRing a => Law a
- rightDistributive :: SemiRing a => Law a
- distributiveLaws :: SemiRing a => [Law a]
- semiRingLaws :: SemiRing a => [Law a]
- leftNegateTimes :: Ring a => Law a
- rightNegateTimes :: Ring a => Law a
- negateTimesLaws :: Ring a => [Law a]
- ringLaws :: Ring a => [Law a]
- commutativeRingLaws :: Ring a => [Law a]
- distributiveSubtractionLaws :: Ring a => [Law a]
- exchangeInverses :: Field a => Law a
- fieldLaws :: Field a => [Law a]
- fromAdditiveLaw :: Law (Additive a) -> Law a
- fromMultiplicativeLaw :: Law (Multiplicative a) -> Law a
- propsField :: [Property]

# Semi-ring laws

leftDistributive :: SemiRing a => Law a Source #

rightDistributive :: SemiRing a => Law a Source #

distributiveLaws :: SemiRing a => [Law a] Source #

semiRingLaws :: SemiRing a => [Law a] Source #

# Ring laws

leftNegateTimes :: Ring a => Law a Source #

rightNegateTimes :: Ring a => Law a Source #

negateTimesLaws :: Ring a => [Law a] Source #

commutativeRingLaws :: Ring a => [Law a] Source #

distributiveSubtractionLaws :: Ring a => [Law a] Source #

# Field laws

exchangeInverses :: Field a => Law a Source #

# Laws for additive monoid

# Laws for multiplicative monoid

fromMultiplicativeLaw :: Law (Multiplicative a) -> Law a Source #

# Properties

propsField :: [Property] Source #