cryptol-2.2.3: Cryptol: The Language of Cryptography

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

Cryptol.Eval.Type

Description

 

Synopsis

Documentation

evalType :: EvalEnv -> Type -> TValue Source

Evaluation for types.

evalTF :: TFun -> [TValue] -> TValue Source

Reduce type functions, rising an exception for undefined values.