Description
Provides type-enforced sorted lists and related functions for Haskell. The type helps communicate that a list is already sorted, reducing repeated checks and mistakes around ordering assumptions.
It is useful for merging, searching, validation, indexes, algorithms, and APIs that require sorted input. It is a data-structure library and has no standalone interface.