Type Strpub

.as-bytes — zero-copy-style view of the receiver's UTF-8 encoding. Runtime shape matches .bytes: a plain Bytes cell. The "zero-copy" guarantee is a forward-compatibility contract; today the implementation allocates a fresh Bytes over the byte view.

.byte-at — byte at index as (Option AnyUInt) (the byte value 0..256).

.bytes — return the UTF-8 encoding as a Bytes cell. Eager Bytes form; the spec's lazy (Iterator U8) form lives on the core Str type.

.char-at — nth codepoint (0-indexed) as (Option Codepoint).

.char-count — count of Unicode codepoints (distinct from .len, which is the UTF-8 byte count).

.chars — enumerate the Unicode codepoints of the receiver into a (Vec Codepoint). Eager Vec complement of the spec's lazy .codepoints iterator.

.contains — true iff m matches anywhere in the receiver. Accepts any (CodepointMatcher m); delegates to .find and projects presence.

.ends-with — true iff the receiver ends with the suffix.

.find — byte offset of the first occurrence of m in the receiver, or None if m does not match. Accepts any (CodepointMatcher m): the built-in Str, Codepoint, (Vec Codepoint), or a predicate quotation. Delegates to .find-in and projects the start offset.

.is-ascii — true iff every byte is < 128.

.is-empty — true iff the byte length is zero.

.join — insert separator between vector elements and concatenate.

.lines — split by newline (\n, \r\n, \r); trailing newline does not emit an extra empty element.

.pad-left — left-pad with fill until .codepoints .count >= width.

.pad-right — right-pad with fill until codepoint-count >= width.

.repeat — concatenate the receiver N times (0 or negative yields "").

.replace — replace first occurrence of target with replacement.

.replace-all — replace every non-overlapping occurrence.

.rfind — byte offset of the last occurrence, or -1 if not found. Still takes a literal Str pending a backward-scanning Matcher variant.

.split — split by a Str separator into a (Vec Str). Mirrors the core split word with .method dispatch.

.split-once — split at the first occurrence of a Str separator, returning Some (Pair left right) (separator excluded) or None when the separator is absent. This is the literal-Str form; the full spec signature uses a Matcher constraint, which is deferred until Matcher trait rewiring lands.

.split-whitespace — split on runs of Unicode whitespace, dropping empties. Equivalent in content to .words; returned eagerly as a (Vec Str) pending a lazy iterator surface for Str sources.

.starts-with — true iff the receiver starts with the prefix.

.strip-prefix — remove the prefix if present; Some rest or None.

.strip-suffix — remove the suffix if present; Some rest or None.

.to-ascii-lower — ASCII-only lowercase; non-ASCII bytes pass through.

.to-ascii-upper — ASCII-only uppercase; non-ASCII bytes pass through.

.to-lower — Unicode lowercase (via Rust std).

.to-upper — Unicode uppercase (via Rust std).

.to-utf16 — encode as UTF-16 code units. Returns (Vec AnyUInt) — each element is a UTF-16 code unit in the range 0..65536. The concrete U16 alias is not used in the signature because alias normalisation during signature registration conflicts with the intrinsic's existential bound on the element type.

.trim — trim Unicode White_Space from both ends.

.trim-end — trim Unicode White_Space from the end only.

.trim-start — trim Unicode White_Space from the start only.

.words — split on Unicode whitespace, dropping empties.