The standard library List api defines access to lisp-style Lists.
The List api is implemented by the list package.
The List api source code is in src/lib/std/src/list.api.
The above information is manually maintained and may contain errors.
api { List X = ! (X , List(X )) | NIL;
exception EMPTY;
null : List(X ) -> Bool;
head : List(X ) -> X;
tail : List(X ) -> List(X );
last : List(X ) -> X;
get_item : List(X ) -> Null_Or(((X , List(X ))) );
nth : (List(X ) , Int) -> X;
take_n : (List(X ) , Int) -> List(X );
drop_n : (List(X ) , Int) -> List(X );
length : List(X ) -> Int;
reverse : List(X ) -> List(X );
@ : (List(X ) , List(X )) -> List(X );
cat : List(List(X ) ) -> List(X );
reverse_and_prepend : (List(X ) , List(X )) -> List(X );
apply : (X -> Void) -> List(X ) -> Void;
map : (X -> Y) -> List(X ) -> List(Y );
apply' : List(X ) -> (X -> Void) -> Void;
map' : List(X ) -> (X -> Y) -> List(Y );
map_partial_fn : (X -> Null_Or(Y )) -> List(X ) -> List(Y );
find : (X -> Bool) -> List(X ) -> Null_Or(X );
filter : (X -> Bool) -> List(X ) -> List(X );
partition : (X -> Bool) -> List(X ) -> (List(X ) , List(X ));
fold_right : ((X , Y) -> Y) -> Y -> List(X ) -> Y;
fold_left : ((X , Y) -> Y) -> Y -> List(X ) -> Y;
exists : (X -> Bool) -> List(X ) -> Bool;
all : (X -> Bool) -> List(X ) -> Bool;
tabulate : (Int , (Int -> X)) -> List(X );
collate : ((X , X) -> Order) -> (List(X ) , List(X )) -> Order;
in : (''a , List(''a )) -> Bool;
};