Module data_type 

The type of a column in a data contract.

DataType is the in-memory form. TypeLock and FieldLock are its on-disk form, shared by types.lock and the build artifact, and are the only place the tag vocabulary (array, list, map, record) is defined.

Structs

FieldLock 🔒

On-disk form of a RecordField: a TypeLock widened with the field’s name and nullability.

RecordField

One field of a DataType::Record.

TypeLock 🔒

On-disk form of a DataType: the type’s name, plus the structural payload the SQL grammar cannot spell.

Enums

DataType

A column’s type, described structurally.

DataTypeJsonError 🔒

A stored type that could not be read back.

TypeLockError

A structural payload that does not belong on the type it was recorded with.

Constants

ARRAY_TAG 🔒

On-disk tag for DataType::Array.

LIST_TAG 🔒

On-disk tag for DataType::List.

MAP_TAG 🔒

On-disk tag for DataType::Map.

RECORD_TAG 🔒

On-disk tag for DataType::Record.

Functions

join_data_type 🔒

Rebuild a type from the three on-disk keys, rejecting a payload that does not belong on the named tag.

split_data_type 🔒

Decompose a type into the three keys the on-disk form carries.