list-witnesses: Witnesses for working with type-level lists
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.
[Skip to Readme]
Downloads
- list-witnesses-0.1.4.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.2.0, 0.1.3.0, 0.1.3.1, 0.1.3.2, 0.1.4.0, 0.1.4.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.7 && <5), decidable (>=0.3.1 && <0.4), functor-products (>=0.1.2 && <0.2), microlens (<0.5), profunctors (<5.7), singletons (>=3.0 && <3.1), singletons-base (>=3.0 && <3.3), vinyl (>=0.14.3 && <0.15) [details] |
| Tested with | ghc >=9.2 |
| License | BSD-3-Clause |
| Copyright | (c) Justin Le 2023 |
| Author | Justin Le |
| Maintainer | justin@jle.im |
| Revised | Revision 2 made by jle at 2023-07-23T22:08:52Z |
| Category | Dependent Types |
| Home page | https://github.com/mstksg/list-witnesses#readme |
| Bug tracker | https://github.com/mstksg/list-witnesses/issues |
| Source repo | head: git clone https://github.com/mstksg/list-witnesses |
| Uploaded | by jle at 2023-07-23T21:57:55Z |
| Distributions | LTSHaskell:0.1.4.1, Stackage:0.1.4.1 |
| Downloads | 2848 total (2 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2023-07-24 [all 1 reports] |
Readme for list-witnesses-0.1.4.0
[back to package description][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.