Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Solving class constraints.
- classStep :: Prop -> Solved
- solveArithInst :: Type -> Solved
- solveCmpInst :: Type -> Solved
- expandProp :: Prop -> [Prop]
Documentation
solveArithInst :: Type -> Solved Source #
Solve an Arith constraint by instance, if possible.
solveCmpInst :: Type -> Solved Source #
Solve Cmp constraints.
expandProp :: Prop -> [Prop] Source #
Add propositions that are implied by the given one. The result contains the orignal proposition, and maybe some more.