cryptol-2.8.0: Cryptol: The Language of Cryptography

Cryptol.TypeCheck.Solver.Class

Description

Solving class constraints.

Synopsis

# Documentation

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

Solve a Zero constraint by instance, if possible.

Solve a Logic constraint by instance, if possible.

Solve an Arith constraint by instance, if possible.

Solve Cmp constraints.

Solve SignedCmp constraints.

Solve Literal constraints.

expandProp :: Prop -> [Prop] Source #

Add propositions that are implied by the given one. The result contains the orignal proposition, and maybe some more.