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|
|Dependencies||base (>=4.7 && <5), decidable (>=0.1.5), profunctors, singletons, vinyl [details]|
|Copyright||(c) Justin Le 2018|
|Source repo||head: git clone https://github.com/mstksg/list-witnesses|
|Uploaded||by jle at Thu Mar 7 23:06:20 UTC 2019|
|Downloads||157 total (23 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2019-03-07 [all 1 reports]
For package maintainers and hackage trustees