silk/static_sequence

Profiles: aarch64-apple-darwin, aarch64-unknown-linux-gnu, aarch64-unknown-linux-gnu-no-libc, wasm32-unknown-unknown, x86_64-unknown-linux-gnu, x86_64-unknown-linux-gnu-no-libc.

Immutable homogeneous sequences available only during static evaluation.

Details

Every operation returns a complete canonical value. Sequences expose no allocator, capacity, address, mutable alias, destructor, or runtime layout.

Import as StaticSequence with import silk.static_sequence { StaticSequence }.

Public declarations: 1.

StaticSequence

pub struct StaticSequence

The scope for StaticSequence operations.

Details

This owner carries no data. Select it with import silk.static_sequence { StaticSequence } to access its inherent operations.

Associated function StaticSequence.empty

pub static fn empty<Element>() -> Intrinsic.StaticSequence<Element>

Returns the empty sequence for Element.

Associated function StaticSequence.append

pub static fn append<Element>(static self: Intrinsic.StaticSequence<Element>, static value: Element) -> Intrinsic.StaticSequence<Element>

Returns self followed by value without changing self.

Associated function StaticSequence.concat

pub static fn concat<Element>(static left: Intrinsic.StaticSequence<Element>, static right: Intrinsic.StaticSequence<Element>) -> Intrinsic.StaticSequence<Element>

Returns every element of left followed by every element of right.

Associated function StaticSequence.length

pub static fn length<Element>(static self: Intrinsic.StaticSequence<Element>) -> usize

Returns the finite sequence length.

Associated function StaticSequence.at

pub static fn at<Element>(static self: Intrinsic.StaticSequence<Element>, static index: usize) -> Element

Returns the element at index, or reports a static phase violation when out of bounds.