Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- 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
Properties
propsBoolean :: [Property] Source #