cryptol-2.9.0: Cryptol: The Language of Cryptography

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

Cryptol.TypeCheck.Instantiate

Description

 

Documentation

instantiateWith :: Name -> Expr -> Schema -> [TypeArg] -> InferM (Expr, Type) Source #

data TypeArg Source #

Constructors

TypeArg 

Fields

uncheckedTypeArg :: TypeInst Name -> TypeArg Source #

data MaybeCheckedType Source #

Constructors

Checked Type 
Unchecked (Type Name)