@hackage list-witnesses0.1.4.1

Witnesses for working with type-level lists

Categories
License
BSD-3-Clause
Maintainer
justin@jle.im
Links
Versions
- 0.1.4.1 Wed, 28 Feb 2024
- 0.1.4.0 Sun, 23 Jul 2023
- 0.1.3.2 Mon, 26 Aug 2019
- 0.1.3.1 Sat, 24 Aug 2019
- 0.1.3.0 Fri, 23 Aug 2019
- 0.1.2.0 Tue, 13 Aug 2019

Installation
In your cabal file:
Tested Compilers
- 9.10.1
- 9.8.2
- 9.8.1
- 9.6.5
- 9.6.4
- 9.6.3
- 9.6.2
- 9.6.1
- 9.4.8
- 9.4.7
- 9.4.6
- 9.4.5
- 9.4.4
- 9.4.3
- 9.4.2
- 9.4.1
- 9.2.8
- 9.2.7
- 9.2.6
- 9.2.5
- 9.2.4
- 9.2.3
- 9.2.2
- 9.2.1
Dependencies (8)
- base >=4.7 && <5
- decidable >=0.3.1.1
- functor-products >=0.1.2
- microlens
- profunctors
- singletons >=3.0
Dependents (0)

[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.