Bosatsu/Collection/Array
source code: - test_workspace/Bosatsu/Collection/Array.bosatsu
public dependencies: Bosatsu/Num/Int64
Index
- Types:
Array - Values:
char_Array_to_Int_Array,char_Array_to_String,concat_all_Array,dotf_Array,empty_Array,filter_Array,flat_map_Array,flatten_Array,foldl_Array,foldl_with_index_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,map_with_index_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,sumf_Array,sumsqf_Array,tabulate_Array,to_List_Array,zip_foldl_Array,zip_map_Array,zip_sumf_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]
dotf_Array
def dotf_Array(left: Array[Float64], right: Array[Float64]) -> Float64
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
foldl_with_index_Array
references: Array, Bosatsu/Num/Int64::Int64
def foldl_with_index_Array[a,
b](ary: Array[a], init: b, fn: (b, a, Bosatsu/Num/Int64::Int64) -> 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, Bosatsu/Num/Int64::Int64, Option
def get_Array[a](ary: Array[a], idx: Bosatsu/Num/Int64::Int64) -> Option[a]
get_map_Array
references: Array, Bosatsu/Num/Int64::Int64
def get_map_Array[a,
b
](ary: Array[a], idx: Bosatsu/Num/Int64::Int64, default: Bosatsu/Num/Int64::Int64 -> b, fn: a -> b) -> b
get_or_Array
references: Array, Bosatsu/Num/Int64::Int64
def get_or_Array[a
](ary: Array[a], idx: Bosatsu/Num/Int64::Int64, default: Bosatsu/Num/Int64::Int64 -> a) -> a
index_in_range_Array
references: Array, Bool, Bosatsu/Num/Int64::Int64
def index_in_range_Array[a](ary: Array[a], idx: Bosatsu/Num/Int64::Int64) -> 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]
map_with_index_Array
references: Array, Bosatsu/Num/Int64::Int64
def map_with_index_Array[a, b](ary: Array[a], fn: (a, Bosatsu/Num/Int64::Int64) -> 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, Bosatsu/Num/Int64::Int64, Option
def set_Array[a](ary: Array[a], idx: Bosatsu/Num/Int64::Int64, value: a) -> Option[Array[a]]
set_or_self_Array
references: Array, Bosatsu/Num/Int64::Int64
def set_or_self_Array[a](ary: Array[a], idx: Bosatsu/Num/Int64::Int64, value: a) -> Array[a]
size_Array
references: Array, Bosatsu/Num/Int64::Int64
def size_Array[a](ary: Array[a]) -> Bosatsu/Num/Int64::Int64
slice_Array
references: Array, Bosatsu/Num/Int64::Int64
def slice_Array[a
](ary: Array[a], start: Bosatsu/Num/Int64::Int64, end: Bosatsu/Num/Int64::Int64) -> 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]
sumf_Array
def sumf_Array(ary: Array[Float64]) -> Float64
sumsqf_Array
def sumsqf_Array(ary: Array[Float64]) -> Float64
tabulate_Array
references: Array, Bosatsu/Num/Int64::Int64
def tabulate_Array[a](n: Bosatsu/Num/Int64::Int64, fn: Bosatsu/Num/Int64::Int64 -> a) -> Array[a]
to_List_Array
def to_List_Array[a](ary: Array[a]) -> List[a]
zip_foldl_Array
references: Array
def zip_foldl_Array[a, b, c](left: Array[a], right: Array[b], init: c, fn: (c, a, b) -> c) -> c
zip_map_Array
references: Array
def zip_map_Array[a, b, c](left: Array[a], right: Array[b], fn: (a, b) -> c) -> Array[c]
zip_sumf_Array
def zip_sumf_Array[a, b](left: Array[a], right: Array[b], fn: (a, b) -> Float64) -> Float64