`Bosatsu/Collection/Array`

Index

type Array[a: +*]

def char_Array_to_Int_Array(chars: Array[Char]) -> Array[Int]

def char_Array_to_String(chars: Array[Char]) -> String

def concat_all_Array[a](arrays: List[Array[a]]) -> Array[a]

empty_Array: forall a: *. Array[a]

def flatten_Array[a](arrays: Array[Array[a]]) -> Array[a]

def foldl_Array[a, b](ary: Array[a], init: b, fn: (b, a) -> b) -> b

def from_List_Array[a](xs: List[a]) -> Array[a]

def get_Array[a](ary: Array[a], idx: Int) -> Option[a]

def get_map_Array[a, b](ary: Array[a], idx: Int, default: (()) -> b, fn: a -> b) -> b

def get_or_Array[a](ary: Array[a], idx: Int, default: (()) -> a) -> a

def index_in_range_Array[a](ary: Array[a], idx: Int) -> Bool

def int_Array_to_Char_Array(code_points: Array[Int]) -> Option[Array[Char]]

def int_Array_to_String(code_points: Array[Int]) -> Option[String]

def map_Array[a, b](ary: Array[a], fn: a -> b) -> Array[b]

def range_Array(n: Int) -> Array[Int]

def range_from_Array(start: Int, n: Int) -> Array[Int]

def reverse_Array[a](ary: Array[a]) -> Array[a]

def set_Array[a](ary: Array[a], idx: Int, value: a) -> Option[Array[a]]

def set_or_self_Array[a](ary: Array[a], idx: Int, value: a) -> Array[a]

def size_Array[a](ary: Array[a]) -> Int

def slice_Array[a](ary: Array[a], start: Int, end: Int) -> Array[a]

def sort_Array[a](ary: Array[a], fn: (a, a) -> Comparison) -> Array[a]

def string_to_Char_Array(s: String) -> Array[Char]

def string_to_Int_Array(s: String) -> Array[Int]

def tabulate_Array[a](n: Int, fn: Int -> a) -> Array[a]

def to_List_Array[a](ary: Array[a]) -> List[a]

The source code for this page can be found here.

Next: Bosatsu/Collection/Queue