Bosatsu/IO/Bytes

source code: - test_workspace/Bosatsu/IO/Bytes.bosatsu

public dependencies: Bosatsu/Collection/Array

Index

Types

Bytes

type Bytes

Values

concat_all_Bytes

references: Bytes, List

def concat_all_Bytes(chunks: List[Bytes]) -> Bytes

empty_Bytes

references: Bytes

empty_Bytes: Bytes

ends_with_Bytes

references: Bool, Bytes

def ends_with_Bytes(bytes: Bytes, suffix: Bytes) -> Bool

find_Bytes

references: Bytes, Int

def find_Bytes(bytes: Bytes, needle: Bytes, start: Int) -> Int

foldl_Bytes

references: Bytes, Int

def foldl_Bytes[a](bytes: Bytes, init: a, fn: (a, Int) -> a) -> a

from_Array_Int

references: Bosatsu/Collection/Array::Array, Bytes, Int

def from_Array_Int(ints: Bosatsu/Collection/Array::Array[Int]) -> Bytes

from_List_Int

references: Bytes, Int, List

def from_List_Int(ints: List[Int]) -> Bytes

get_Bytes

references: Bytes, Int, Option

def get_Bytes(bytes: Bytes, idx: Int) -> Option[Int]

get_map_Bytes

references: Bytes, Int, Unit

def get_map_Bytes[a](bytes: Bytes, idx: Int, default: () -> a, fn: Int -> a) -> a

get_or_Bytes

references: Bytes, Int, Unit

def get_or_Bytes(bytes: Bytes, idx: Int, default: () -> Int) -> Int

index_in_range_Bytes

references: Bool, Bytes, Int

def index_in_range_Bytes(bytes: Bytes, idx: Int) -> Bool

size_Bytes

references: Bytes, Int

def size_Bytes(bytes: Bytes) -> Int

slice_Bytes

references: Bytes, Int

def slice_Bytes(bytes: Bytes, start: Int, end: Int) -> Bytes

starts_with_Bytes

references: Bool, Bytes

def starts_with_Bytes(bytes: Bytes, prefix: Bytes) -> Bool

to_Array_Int

references: Bosatsu/Collection/Array::Array, Bytes, Int

def to_Array_Int(bytes: Bytes) -> Bosatsu/Collection/Array::Array[Int]

to_List_Int

references: Bytes, Int, List

def to_List_Int(bytes: Bytes) -> List[Int]

utf8_Char_at

references: Bytes, Char, Int, Option

def utf8_Char_at(bytes: Bytes, idx: Int) -> Option[Char]

utf8_bytes_from_String

references: Bytes, String

def utf8_bytes_from_String(str: String) -> Bytes

utf8_bytes_to_String

references: Bytes, Option, String

def utf8_bytes_to_String(bytes: Bytes) -> Option[String]