list-witnesses

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

Version on this page:0.1.1.1
LTS Haskell 14.6:0.1.1.1
Stackage Nightly 2019-09-15:0.1.3.2
Latest on Hackage:0.1.3.2

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.1

This version can be pinned in stack with:list-witnesses-0.1.1.1@sha256:d57968447499552f5cf051820e8b4e2914f3ac98be6024bf1910df147f5c68d7,1649

[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.1

August 3, 2019

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

  • Add microlens as a dependency, and use actual type synonyms for lenses. Also got rid of re-implementations of over and view.

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