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 [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|
|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 2019-08-26T03:41:59Z|
|Downloads||2351 total (7 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]