The standard library List_Fns api defines additional convenience functions on lists beyond those included in the List api.
The List_Fns api is implemented by the list_fns package.
The List_Fns api source code is in src/lib/src/list-fns.api.
See also: List.
The above information is manually maintained and may contain errors.
api { exception ZIP;
exception SPLIT;
find : (X -> Bool) -> List(X ) -> List(X );
find_first : (X -> Bool) -> List(X ) -> Null_Or(X );
remove : (X -> Bool) -> List(X ) -> List(X );
remove_first : (X -> Bool) -> List(X ) -> List(X );
filter : (X -> Null_Or(Y )) -> List(X ) -> List(Y );
splitp : (X -> Bool) -> List(X ) -> (List(X ) , List(X ));
prefix : (X -> Bool) -> List(X ) -> List(X );
suffix : (X -> Bool) -> List(X ) -> List(X );
split : Int -> List(X ) -> (List(X ) , List(X ));
flatten : List(List(X ) ) -> List(X );
zip : (List(X ) , List(Y )) -> List(((X , Y)) );
unzip : List(((X , Y)) ) -> (List(X ) , List(Y ));
from_to : (Int , Int) -> List(Int );
make_list : (Int , (Int -> X)) -> List(X );
};