list-witnesses
Witnesses for working with type-level lists
https://github.com/mstksg/list-witnesses#readme
| Version on this page: | 0.1.1.0 |
| LTS Haskell 24.18: | 0.1.4.1 |
| Stackage Nightly 2025-11-01: | 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.0@sha256:2e8bfc78c368209d05388ccd22f29225d46d46c06dd57d0506d8b5eadec9ed51,1606Module documentation for 0.1.1.0
- Data
- Data.Type
- Data.Type.List
- Data.Type
Depends on 5 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.