TypeVector

class dsviper.TypeVector(element_type)

Bases: Type

The vector<element_type> type.

element_type() is the Type it holds; ValueVector builds values of it.

static cast(type: Type) → TypeVector

Return a type vector<element_type> or raise.

description(*, namespace: NameSpace | None = None) → str

Return the same as representation(): vector<element_type>, qualified against namespace.

element_type() → Type

Return the type of the elements the vector holds.

representation(*, namespace: NameSpace | None = None) → str

Return the type written out as vector<element_type>, with the names qualified against namespace - the global namespace when it is None.

runtime_id() → ValueUUId

Return the uuid identifying this type.

It is computed from what the type is, so the same declaration yields the same id in any Definitions. Definitions says what each kind is computed from.

type_code() → str

Return the code naming this kind of type, such as “int32”, “struct” or “vector”.