`logos.lang.writ.typed_value`

Module lang · package logos-lang

Types

structWTypedValue

struct WTypedValue

A Writ SDN datatype instantiation @Type(params?) = <initializer>, wire code 4115. Holds three at-rest WAny words as raw i64; read/write goes through *zoned slot pointers, so reads materialise the Ref-delta and writes lower it.

Fields

init: i64

At-rest WAny word: the initializer value.

params: i64

At-rest WAny word: the params (Array<WAny> or null).

type_name: i64

At-rest WAny word: Ref to the interned type-name WString.

Methods

fn has_params(self: &WTypedValue) -> bool

Returns true if params are present (non-null).

fn type_name_str(self: &WTypedValue) -> &[u8]

Returns the type name as a string view (resolves the Ref to the interned WString).