list-witnesses
Witnesses for working with type-level lists
https://github.com/mstksg/list-witnesses#readme
| Version on this page: | 0.1.1.1 |
| LTS Haskell 24.18: | 0.1.4.1 |
| Stackage Nightly 2025-11-04: | 0.1.4.1 |
| Latest on Hackage: | 0.1.4.1 |
Maintained by [email protected]
This version can be pinned in stack with:
list-witnesses-0.1.1.1@sha256:d57968447499552f5cf051820e8b4e2914f3ac98be6024bf1910df147f5c68d7,1649Module documentation for 0.1.1.1
- Data
- Data.Type
- Data.Type.List
- Data.Type
Depends on 6 packages(full list with versions):
[list-witnesses][docs]
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.