cryptol-2.5.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.TypeCheck.Solver.Class

Description

Solving class constraints.

Synopsis

Documentation

classStep :: Prop -> Solved Source #

Solve class constraints. If not, then we return Nothing. If solved, ther we return Just a list of sub-goals.

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.