@hackage / list-witnesses

Witnesses for working with type-level lists

Latest0.1.4.1

About

Metadata

  • Last updated , by jle
  • License BSD-3-Clause

  • Maintained by: justin@jle.im

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.12.2
  2. 9.12.1
  3. 9.10.3
  4. 9.10.2
  5. 9.10.1
  6. 9.8.4
  7. 9.8.3
  8. 9.8.2
  9. 9.8.1
  10. 9.6.7
  11. 9.6.6
  12. 9.6.5
  13. 9.6.4
  14. 9.6.3
  15. 9.6.2
  16. 9.6.1
  17. 9.4.8
  18. 9.4.7
  19. 9.4.6
  20. 9.4.5
  21. 9.4.4
  22. 9.4.3
  23. 9.4.2
  24. 9.4.1
  25. 9.2.8
  26. 9.2.7
  27. 9.2.6
  28. 9.2.5
  29. 9.2.4
  30. 9.2.3
  31. 9.2.2
  32. 9.2.1

Readme

[list-witnesses][docs]

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.