| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Algebra.FieldLaws
Contents
Description
- 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
fromAdditiveLaw :: Law (Additive a) -> Law a Source
Laws for multiplicative monoid
fromMultiplicativeLaw :: Law (Multiplicative a) -> Law a Source
Properties
propsField :: [Property] Source