list-witnesses

Witnesses for working with type-level lists https://github.com/mstksg/list-witnesses#readme

Version on this page:0.1.1.0
Stackage Nightly 2019-05-27:0.1.1.0
Latest on Hackage:0.1.1.0

See all snapshots list-witnesses appears in

BSD-3-Clause licensed by Justin Le
Maintained by justin@jle.im

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
Depends on 5 packages:
comments powered byDisqus