logos.lang.writ.comp_builder

fn writ_coerce_bool(v: bool) -> WAny

Wraps a bool in an inline WAny.

fn writ_coerce_i16(v: i16) -> WAny

Wraps an i16 in an inline WAny, preserving the exact width type code.

fn writ_coerce_i32(v: i32) -> WAny

Wraps an i32 in an inline WAny, widened to i56 (exact width not preserved).

fn writ_coerce_i8(v: i8) -> WAny

Wraps an i8 in an inline WAny, preserving the exact width type code.

fn writ_coerce_str(c: &Rc<Writ>, s: &[u8]) -> WAny

Coerces s into a WAny, allocating the WString in the container’s zone. needs_ctr form: the compiler passes the &Rc<Writ> first.

fn writ_coerce_u16(v: u16) -> WAny

Wraps a u16 in an inline WAny, preserving the exact width type code.

fn writ_coerce_u32(v: u32) -> WAny

Wraps a u32 in an inline WAny, widened to i56 (exact width not preserved).

fn writ_coerce_u8(v: u8) -> WAny

Wraps a u8 in an inline WAny, preserving the exact width type code.

fn writ_list_comp_new(cap: i64) -> Rc<Writ>

Creates the Rc-pinned Writ for a list comprehension, root = empty WArray<WAny>. cap is the arena segment size in bytes; the root is allocated only after the Rc pin, so it captures the stable heap allocator address (never-move design).

fn writ_list_comp_push(c: &Rc<Writ>, v: WAny) -> void

Pushes v onto the comprehension container’s root WArray<WAny>.

fn writ_map_comp_new(cap: i64, slot_hint: i64) -> Rc<Writ>

Creates the Rc-pinned Writ for a map comprehension, root = empty WMap<WString, WAny>. cap is the arena segment size in bytes; slot count = next power of two >= max(2 * slot_hint, 8) (open-addressing mask). Root allocated after the Rc pin.

fn writ_map_comp_put(c: &Rc<Writ>, k: &[u8], v: WAny) -> void

Sets key k to v in the comprehension container’s root WMap<WString, WAny>.