| Portability | portable (depends on ghc) |
|---|---|
| Stability | provisional |
| Maintainer | bastiaan.heeren@ou.nl |
| Safe Haskell | None |
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 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