vector-sized-extra/TODO.md

TODO

General

• Documentation links
• Investigate why Data.Vector.Sized.Mutable.Sort and Data.Vector.Sized.Sort compile so slowly (and exhaust the simplifier)
• Add sensible bounds
• See about eliminating the need for checker plugins

Data.Vector.Sized.Mutable.Sort

• Find ways to deal with bounds for partialSortByBounds in a less hacky manner

Data.Vector.Sized.Sort

• Check type safety with americanFlagSortBy
• Deal with Optimal