Portability | portable (depends on ghc) |
---|---|

Stability | provisional |

Maintainer | bastiaan.heeren@ou.nl |

Safe Haskell | None |

- 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 aSource

rightDistributive :: SemiRing a => Law aSource

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

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

# Ring laws

leftNegateTimes :: Ring a => Law aSource

rightNegateTimes :: Ring a => Law aSource

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

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

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

# Field laws

exchangeInverses :: Field a => Law aSource

# Laws for additive monoid

fromAdditiveLaw :: Law (Additive a) -> Law aSource

# Laws for multiplicative monoid

fromMultiplicativeLaw :: Law (Multiplicative a) -> Law aSource

# Properties

propsField :: [Property]Source