Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
- 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 aSource
deMorganOr :: Boolean a => Law aSource
doubleComplement :: Boolean a => Law aSource
complementTrue :: Boolean a => Law aSource
complementFalse :: Boolean a => Law aSource
booleanLaws :: Boolean a => [Law a]Source
Law transformer
fromAndLaw :: Law (And a) -> Law aSource