list
(
α
)
sort_by (
(
α
β
)
 
f
, 
list
(
α
)
 
l)
Sort a list by usual order, projecting elements before comparing them.This function first projects elements of the list before comparing them. You may use this
projection for instance to normalize list elements before comparing, e.g. to convert strings
to lower-case before comparison, so as to ensure that your list is sorted by purely alphabetical
order, without taking case into account. Similarly, if you sort lists of complex data structures, you
can ensure that only a subset of data is taken into account by comparison.
f
A projection function.
A
list, possibly empty.

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.