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]
|Versions [faq]||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|
|Dependencies||base (>=4.7 && <5), decidable (>=0.2), functor-products, microlens, profunctors, singletons, vinyl [details]|
|Copyright||(c) Justin Le 2018|
|Source repo||head: git clone https://github.com/mstksg/list-witnesses|
|Uploaded||by jle at Mon Aug 26 03:41:59 UTC 2019|
|Downloads||714 total (131 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees