Type Functions

Returns a new table type with an additional key definition added.

Returns a closed version of a record type, disallowing fields beyond those declared in the type.

Returns a record containing the facets (type constraints) of a type, such as precision and scale for decimal types.

Creates a function type from a signature record and minimum parameter count.

Constructs a record type from a record of field type descriptors.

Returns a record of parameter types for a given function type.

Returns the minimum number of required parameters for a function type.

Returns the return type declared for a given function type.

Checks whether a type is compatible with (a subtype of) another type.

Returns true if the given type is a nullable type — one that can hold null values.

Returns true if the given record type is open — meaning it allows fields beyond those declared in the type.

Returns the item type of a list type.

Returns the non-nullable version of a type, stripping the nullable wrapper if present.

Returns an open version of a record type, allowing values to have additional fields beyond those declared.

Returns a record describing the fields of a record type, where each field value is a record with Type and Optional sub-fields.

Returns a new type with the specified facets replaced, allowing customization of type constraints such as precision and scale.

Returns a table type with all key definitions replaced by the provided list of key records.

Returns a new table type with the partition key replaced by the specified partition key.

Returns the type of a specific column in a table type.

Returns the list of key definitions for a table type.

Returns the partition key for the given table type, if one is defined.

Returns the row type of a table type.

Returns a table describing the columns of a table type, including column names, positions, type names, and kinds.

Returns the union of a list of types — the most general type that is compatible with all types in the list.