Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell2010 |

## Synopsis

- generateLogic :: Gen SLogic
- generateLevel :: Difficulty -> (Gen SLogic, (Int, Int))
- equalLogicA :: Eq a => Logic a -> Logic a -> Bool
- equalLogicACI :: Ord a => Logic a -> Logic a -> Bool
- normalizeLogicA :: Logic a -> Logic a

# Documentation

generateLevel :: Difficulty -> (Gen SLogic, (Int, Int)) Source #

equalLogicA :: Eq a => Logic a -> Logic a -> Bool Source #

Equality modulo associativity of operators

equalLogicACI :: Ord a => Logic a -> Logic a -> Bool Source #

Equality modulo associativity*commutativity*idempotency of operators,
and there units/absorbing elements

normalizeLogicA :: Logic a -> Logic a Source #