Cryptol.TypeCheck.Instantiate

Documentation

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

data TypeArg

Constructors

TypeArg

Fields

• tyArgName :: Maybe (Located Ident)
• tyArgType :: MaybeCheckedType

uncheckedTypeArg :: TypeInst Name -> TypeArg

data MaybeCheckedType

Constructors

Checked Type

Unchecked (Type Name)