cryptol-2.2.4: Cryptol: The Language of Cryptography

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

Cryptol.TypeCheck.TypeOf

Description

 

Synopsis

Documentation

fastTypeOf :: Map QName Schema -> Expr -> Type Source

Given a typing environment and an expression, compute the type of the expression as quickly as possible, assuming that the expression is well formed with correct type annotations.

fastSchemaOf :: Map QName Schema -> Expr -> Schema Source