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 #