| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Ideas.Common.Algebra.BooleanLaws
Contents
Description
- andOverOrLaws :: Boolean a => [Law a]
- orOverAndLaws :: Boolean a => [Law a]
- complementAndLaws :: Boolean a => [Law a]
- complementOrLaws :: Boolean a => [Law a]
- absorptionAndLaws :: Boolean a => [Law a]
- absorptionOrLaws :: Boolean a => [Law a]
- deMorganAnd :: Boolean a => Law a
- deMorganOr :: Boolean a => Law a
- doubleComplement :: Boolean a => Law a
- complementTrue :: Boolean a => Law a
- complementFalse :: Boolean a => Law a
- booleanLaws :: Boolean a => [Law a]
- fromAndLaw :: Law (And a) -> Law a
- fromOrLaw :: Law (Or a) -> Law a
- propsBoolean :: [Property]
Boolean laws
andOverOrLaws :: Boolean a => [Law a] Source
orOverAndLaws :: Boolean a => [Law a] Source
complementAndLaws :: Boolean a => [Law a] Source
complementOrLaws :: Boolean a => [Law a] Source
absorptionAndLaws :: Boolean a => [Law a] Source
absorptionOrLaws :: Boolean a => [Law a] Source
deMorganAnd :: Boolean a => Law a Source
deMorganOr :: Boolean a => Law a Source
doubleComplement :: Boolean a => Law a Source
complementTrue :: Boolean a => Law a Source
complementFalse :: Boolean a => Law a Source
booleanLaws :: Boolean a => [Law a] Source
Law transformer
fromAndLaw :: Law (And a) -> Law a Source
Properties
propsBoolean :: [Property] Source