aivi.core.bytes

Byte sequence operations. All functions are runtime intrinsics — import them directly:

use aivi.core.bytes (
    empty
    length
    get
    slice
    append
    fromText
    toText
    repeat
)

---

Type

Bytes is a built-in immutable byte sequence. Individual bytes are Int values in the range 0–255.

---

Type

BytesDecodeError

type BytesDecodeError =
  | InvalidUtf8

Returned when toText fails because the byte sequence is not valid UTF-8.

---

Intrinsics

empty : Bytes

The empty byte sequence.

use aivi.core.bytes (
    empty
    length
)

length : Bytes -> Int

Number of bytes in the sequence.

use aivi.core.bytes (
    fromText
    length
)

get : Int -> Bytes -> Option Int

Return the byte at a zero-based index as an Option Int (0–255). Returns None when the index is out of bounds.

use aivi.core.bytes (
    fromText
    get
)

slice : Int -> Int -> Bytes -> Bytes

Return the sub-sequence from index from (inclusive) to to (exclusive). Out-of-range indices are clamped.

use aivi.core.bytes (
    fromText
    slice
)

append : Bytes -> Bytes -> Bytes

Concatenate two byte sequences.

use aivi.core.bytes (
    fromText
    append
)

fromText : Text -> Bytes

UTF-8 encode a Text value into Bytes.

use aivi.core.bytes (
    fromText
    length
)

toText : Bytes -> Option Text

UTF-8 decode Bytes into a Text. Returns None when the bytes are not valid UTF-8.

use aivi.core.bytes (
    fromText
    toText
)

repeat : Int -> Int -> Bytes

Create a byte sequence of count copies of a single byte value (0–255).

use aivi.core.bytes (repeat)

---

Real-world example

use aivi.core.bytes (
    fromText
    length
)

use aivi.fs (FsSource)

value assetRoot : Text = "/tmp/assets"
value headerBytes : Bytes = fromText "AIVI"

@source fs assetRoot
signal files : FsSource

value iconBytes : Task Text Bytes = files.readBytes "icon.bin"
value saveHeader : Task Text Unit = files.writeBytes "header.bin" headerBytes
value headerLength : Int = length headerBytes

TIP

Use fromText/toText for UTF-8 text round-trips. For binary data (images, archives, network frames) work directly with Bytes using slice, append, and get.