14.2.22  List_Sort

The standard library List_Sort api defines access to sort algorithms for Lists.

The List_Sort api is implemented by the list_mergesort package.

The List_Sort api source code is in src/lib/src/list-sort.api.

The above information is manually maintained and may contain errors.

api {
    sort_list : ((X , X) -> Bool) -> List(X ) -> List(X );
    sort_list_and_drop_duplicates : ((X , X) -> Order) -> List(X ) -> List(X );
    sort_list_and_find_duplicates : ((X , X) -> Order) -> List(X ) -> List(X );
    list_is_sorted : ((X , X) -> Bool) -> List(X ) -> Bool;};