[list-witnesses][docs]
======================

[![list-witnesses on Hackage](https://img.shields.io/hackage/v/list-witnesses.svg?maxAge=86400)](https://hackage.haskell.org/package/list-witnesses)

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.