list-witnesses

Witnesses for working with type-level lists

https://github.com/mstksg/list-witnesses#readme

Version on this page:0.1.1.0
LTS Haskell 14.27:0.1.1.1
Stackage Nightly 2019-09-21:0.1.3.2
Latest on Hackage:0.1.4.1

See all snapshots list-witnesses appears in

BSD-3-Clause licensed by Justin Le
Maintained by [email protected]
This version can be pinned in stack with:list-witnesses-0.1.1.0@sha256:2e8bfc78c368209d05388ccd22f29225d46d46c06dd57d0506d8b5eadec9ed51,1606

Module documentation for 0.1.1.0

[list-witnesses][docs]

list-witnesses on Hackage

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.

Changes

Changelog

Version 0.1.1.0

March 7, 2019

https://github.com/mstksg/list-witnesses/releases/tag/v0.1.1.0

  • Add Interleave to Data.Type.List.Sublist.

Version 0.1.0.0

March 6, 2019

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

  • Initial release