[Home] Module Microsoft.FSharp.Quotations.RawTypes

Type annotations on dynamically-typed quoted expressions.

Type	Description
type dtycon	Type constructors
type dtyconNamed	Information for type constructors
type dtype	Type annotations on dynamically-typed quoted expressions. Often immediately bound to a System.Type using [[dtype_to_Type]] and related functions. Alternatively decomposed using the query functions on the families that carve out subsets of type annotations.
type dtypeFamily	Families of dynamic type annotations Note: an abbreviation for `('a,dtype) family`
type dtypeVar	Information for type variables at binding sites
type dtypeVarIdx	Indexes for type variables Note: an abbreviation for `int`
type dtypeVarName	Names for type variables at binding sites Note: an abbreviation for `string`

Value	Description
val dtype_to_Type : dtype -> Type	Convert a dtype to a System.Type
val dtype_to_Type_open : (dtypeVarIdx -> Type) -> dtype -> Type	Convert a dtype to a System.Type
val dtypeNamedConstr_to_Type : dtyconNamed -> dtype list -> Type	Convert a dtype to a System.Type
val dtypeNamedConstr_to_TypeConstructor : dtyconNamed -> Type	Convert a dtyconNamed to an (uninstantiated) System.Type
val tfApp : (dtycon * dtype list) dtypeFamily	Constructed types and type constants. The families tfVar and tfApp are disjoint and form a complete decomposition of all type annotations.
val tfArray : (int * dtype) dtypeFamily	Array types. The families tfFun, tfTuple, tfArray and tfNamed are disjoint and form a complete decomposition of the tfApp family of types.
val tfFun : (dtype * dtype) dtypeFamily	Function types. The families tfFun, tfTuple, tfArray and tfNamed are disjoint and form a complete decomposition of the tfApp family of types.
val tfNamed : (dtyconNamed * dtype list) dtypeFamily	Named, possibly constructed types.
val tfTuple : (int * dtype list) dtypeFamily	Tuple types. The families tfFun, tfTuple, tfArray and tfNamed are disjoint and form a complete decomposition of the tfApp family of types.
val tfVar : dtypeVarIdx dtypeFamily	Variable types. The families tfVar and tfApp are disjoint and form a complete decomposition of all type annotations.