| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell2010 |
Domain.Logic.Generator
Contents
Description
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
generateLogic :: Gen SLogic 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 associativitycommutativityidempotency of operators, and there units/absorbing elements
normalizeLogicA :: Logic a -> Logic a Source #