Type functions

These functions create and manipulate type values.

Name Description
Type.AddTableKey Add a key to a table type.
Type.ClosedRecord The given type must be a record type returns a closed version of the given record type (or the same type, if it is already closed)
Type.Facets Returns the facets of a type.
Type.ForFunction Creates a function type from the given .
Type.ForRecord Returns a Record type from a fields record.
Type.FunctionParameters Returns a record with field values set to the name of the parameters of a function type, and their values set to their corresponding types.
Type.FunctionRequiredParameters Returns a number indicating the minimum number of parameters required to invoke the a type of function.
Type.FunctionReturn Returns a type returned by a function type.
Type.Is Determines if a value of the first type is always compatible with the second type.
Type.IsNullable Returns true if a type is a nullable type; otherwise, false.
Type.IsOpenRecord Returns whether a record type is open.
Type.ListItem Returns an item type from a list type.
Type.NonNullable Returns the non nullable type from a type.
Type.OpenRecord Returns an opened version of a record type, or the same type, if it is already open.
Type.RecordFields Returns a record describing the fields of a record type with each field of the returned record type having a corresponding name and a value that is a record of the form [ Type = type, Optional = logical ].
Type.ReplaceFacets Replaces the facets of a type.
Type.ReplaceTableKeys Replaces the keys in a table type.
Type.TableColumn Returns the type of a column in a table.
Type.TableKeys Returns keys from a table type.
Type.TableRow Returns a row type from a table type.
Type.TableSchema Returns a table containing a description of the columns (i.e. the schema) of the specified table type.
Type.Union Returns the union of a list of types.