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

Module documentation for 0.1.1.0

This version can be pinned in stack with:list-witnesses-0.1.1.0@sha256:2e8bfc78c368209d05388ccd22f29225d46d46c06dd57d0506d8b5eadec9ed51,1606

[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
comments powered byDisqus