:: [Bool] -> Bool package:Agda

Check whether all elements in a list are distinct from each other. Assumes that the Eq instance stands for an equivalence relation. O(n²) in the worst case distinct xs == True.

Checks if all the elements in the list are equal. Assumes that the Eq instance stands for an equivalence relation. O(n).

Check whether a list is sorted. O(n). Assumes that the Ord instance implements a partial order.

An optimised version of distinct. O(n log n). Precondition: The list's length must fit in an Int.