Bosatsu/List
public dependencies: Bosatsu/Num/Nat
Index
Values
any
def any(as: List[Bool]) -> Bool
eq_List
def eq_List[a](fn: (a, a) -> Bool) -> (List[a], List[a]) -> Bool
exists
def exists[a](xs: List[a], fn: a -> Bool) -> Bool
for_all
def for_all[a](xs: List[a], fn: a -> Bool) -> Bool
get_List
def get_List[a](xs: List[a], idx: Int) -> Option[a]
head
def head[a](xs: List[a]) -> Option[a]
set_List
def set_List[a](xs: List[a], idx: Int, value: a) -> Option[List[a]]
size
def size[a](list: List[a]) -> Bosatsu/Num/Nat::Nat
sort
def sort[a](ord: Order[a], list: List[a]) -> List[a]
sum
def sum(as: List[Int]) -> Int
uncons
def uncons[a](xs: List[a]) -> Option[(a, List[a])]
zip
def zip[a, b](left: List[a], right: List[b]) -> List[(a, b)]
The source code for this page can be found here.