homepage: https://github.com/mstksg/list-witnesses#readme
changelog-type: markdown
hash: 3f172dd85d30dc7f0090ec70d65f96901a4ca7297b29b8fcdc2e33832c0a311a
test-bench-deps: {}
maintainer: justin@jle.im
synopsis: Witnesses for working with type-level lists
changelog: |+
  Changelog
  =========

  Version 0.1.0.0
  ---------------

  *March 6, 2019*

  <https://github.com/mstksg/list-witnesses/releases/tag/v0.1.0.0>

  *   Initial release

basic-deps:
  base: ! '>=4.7 && <5'
  decidable: ! '>=0.1.5'
  singletons: -any
  vinyl: -any
  profunctors: -any
all-versions:
- 0.1.0.0
author: Justin Le
latest: 0.1.0.0
description-type: markdown
description: |
  [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.
license-name: BSD-3-Clause

Update from Hackage at 2019-03-07T05:34:09Z
Update from Hackage at 2019-03-07T05:34:09Z
