Witnesses for working with type-level lists

Version on this page:
LTS Haskell 14.27:
Stackage Nightly 2019-09-21:
Latest on Hackage:

See all snapshots list-witnesses appears in

BSD-3-Clause licensed by Justin Le
Maintained by
This version can be pinned in stack with:list-witnesses-,1649

Module documentation for


list-witnesses on Hackage

Collection of assorted inductive witnesses and functions for working with type-level lists.

  • Data.Type.List.Edit contains single-item edits of lists, including insertion, deletion, and substitution.
  • Data.Type.List.Sublist contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.




August 3, 2019

  • Add microlens as a dependency, and use actual type synonyms for lenses. Also got rid of re-implementations of over and view.


March 7, 2019

  • Add Interleave to Data.Type.List.Sublist.


March 6, 2019

  • Initial release