cryptol-2.2.4: Cryptol: The Language of Cryptography

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

Cryptol.TypeCheck.Solver.Class

Description

Solving class constraints.

Synopsis

Documentation

classStep :: Goal -> Solved Source

Solve class constraints.

expandProp :: Prop -> [Prop] Source

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