isSorted package:data-ordlist

The isSorted predicate returns True if the elements of a list occur in non-descending order, equivalent to isSortedBy (<=).
The isSortedBy function returns True iff the predicate returns true for all adjacent pairs of elements in the list.