values

values#

Tierkreis values and utilities for converting between Python and Tierkreis values.

Classes

BoolValue

Boolean.

DataclassInstance

FloatValue

IEEE 754 double precision floating point number.

IntValue

Signed integer.

MapValue

A map from keys of one type to values of another.

PairValue

A pair of two types.

StringValue

UTF-8 encoded string.

StructValue

A composite structure of named fields.

TierkreisValue

Abstract base class for all Tierkreis compatible values.

TierkreisVariant

Used to represent a Tierkreis Variant as a native python value.

VariantValue

VecValue

A vector of elements of the same type.

Exceptions

IncompatibleAnnotatedValue(value, type_)

Could not convert value to type declared by annotation.

IncompatiblePyValue(value)

Python value could not be converted to a Tierkreis value.

ToPythonFailure(value)

Could not convert a Tierkreis value to a python value.