Skip to content
Try Kata

mem.buf

A typed allocation with capacity, underneath the array’s live-element count.

All modules · Writing docstrings

Imports and exports

Section titled “Imports and exports”
import core.lifecycle.{Drop}
import mem.ptr.{Ptr}
import mem.allocator.{heap}

Buf

Section titled “Buf”
kind Buf[T]

A pointer and capacity. Capacity alone does not mean all slots are initialized.

Source, line 8

Buf.ptr

Section titled “Buf.ptr”
ptr: Ptr[T]

Typed pointer to the allocation.

Source, line 10

Buf.cap

Section titled “Buf.cap”
cap: Int

Number of allocated slots.

Source, line 12

Buf[@T]

Section titled “Buf[@T]”
impl Buf[@T]

Source, line 15

Buf[@T].read

Section titled “Buf[@T].read”
func read(self, index: Int): T

Read a slot through the typed pointer; callers track which slots are live.

Source, line 17

Buf[@T].write

Section titled “Buf[@T].write”
func write(self, index: Int, val: T)

Write a typed value into the backing allocation.

Source, line 22

Buf[@T].grow

Section titled “Buf[@T].grow”
func grow(self)

Double capacity, or allocate four slots when empty, and move the contents.

Source, line 27

Buf[@T] as Drop

Section titled “Buf[@T] as Drop”
impl Buf[@T] as Drop

Source, line 35

Buf[@T] as Drop.drop

Section titled “Buf[@T] as Drop.drop”
func drop(self)

Free the backing allocation. Aliases must not use it afterward.

Source, line 37