Bosatsu/Collection/Array
source code: - test_workspace/Bosatsu/Collection/Array.bosatsu
Index
- Types:
Array - Values:
char_Array_to_Int_Array,char_Array_to_String,concat_all_Array,empty_Array,filter_Array,flat_map_Array,flatten_Array,foldl_Array,foldr_Array,from_List_Array,get_Array,get_map_Array,get_or_Array,index_in_range_Array,int_Array_to_Char_Array,int_Array_to_String,map_Array,range_Array,range_from_Array,reverse_Array,set_Array,set_or_self_Array,size_Array,slice_Array,sort_Array,string_to_Char_Array,string_to_Int_Array,tabulate_Array,to_List_Array
Types
Array[a]
type Array[a: +*]
Values
char_Array_to_Int_Array
def char_Array_to_Int_Array(chars: Array[Char]) -> Array[Int]
char_Array_to_String
references: Array, Char, String
def char_Array_to_String(chars: Array[Char]) -> String
concat_all_Array
def concat_all_Array[a](arrays: List[Array[a]]) -> Array[a]
empty_Array
references: Array
empty_Array: forall a: *. Array[a]
filter_Array
def filter_Array[a](ary: Array[a], fn: a -> Bool) -> Array[a]
flat_map_Array
references: Array
def flat_map_Array[a, b](ary: Array[a], fn: a -> Array[b]) -> Array[b]
flatten_Array
references: Array
def flatten_Array[a](arrays: Array[Array[a]]) -> Array[a]
foldl_Array
references: Array
def foldl_Array[a, b](ary: Array[a], init: b, fn: (b, a) -> b) -> b
foldr_Array
references: Array
def foldr_Array[a, b](ary: Array[a], init: b, fn: (a, b) -> b) -> b
from_List_Array
def from_List_Array[a](xs: List[a]) -> Array[a]
get_Array
references: Array, Int, Option
def get_Array[a](ary: Array[a], idx: Int) -> Option[a]
get_map_Array
def get_map_Array[a, b](ary: Array[a], idx: Int, default: () -> b, fn: a -> b) -> b
get_or_Array
def get_or_Array[a](ary: Array[a], idx: Int, default: () -> a) -> a
index_in_range_Array
def index_in_range_Array[a](ary: Array[a], idx: Int) -> Bool
int_Array_to_Char_Array
references: Array, Char, Int, Option
def int_Array_to_Char_Array(code_points: Array[Int]) -> Option[Array[Char]]
int_Array_to_String
references: Array, Int, Option, String
def int_Array_to_String(code_points: Array[Int]) -> Option[String]
map_Array
references: Array
def map_Array[a, b](ary: Array[a], fn: a -> b) -> Array[b]
range_Array
def range_Array(n: Int) -> Array[Int]
range_from_Array
def range_from_Array(start: Int, n: Int) -> Array[Int]
reverse_Array
references: Array
def reverse_Array[a](ary: Array[a]) -> Array[a]
set_Array
references: Array, Int, Option
def set_Array[a](ary: Array[a], idx: Int, value: a) -> Option[Array[a]]
set_or_self_Array
def set_or_self_Array[a](ary: Array[a], idx: Int, value: a) -> Array[a]
size_Array
def size_Array[a](ary: Array[a]) -> Int
slice_Array
def slice_Array[a](ary: Array[a], start: Int, end: Int) -> Array[a]
sort_Array
references: Array, Comparison
def sort_Array[a](ary: Array[a], fn: (a, a) -> Comparison) -> Array[a]
string_to_Char_Array
references: Array, Char, String
def string_to_Char_Array(s: String) -> Array[Char]
string_to_Int_Array
references: Array, Int, String
def string_to_Int_Array(s: String) -> Array[Int]
tabulate_Array
def tabulate_Array[a](n: Int, fn: Int -> a) -> Array[a]
to_List_Array
def to_List_Array[a](ary: Array[a]) -> List[a]