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

Module documentation for 0.1.3.2

This version can be pinned in stack with:list-witnesses-0.1.3.2@sha256:a72d5c2ca295b89313842c405e8ccd972153d0476dba00387515312931b87a3f,1670

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

August 25, 2019

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

  • Fixed overlapping instance issues resulting from ambiguities in Auto instances for Insert, Delete, Substitute, Suffix, Interleave, and Subset.

Version 0.1.3.1

August 23, 2019

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

  • Quick renaming of subsetToInterlaveLeft and subsetToInterleaveRight to match naming conventions.

Version 0.1.3.0

August 23, 2019

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

  • Add Subset and associated methods
  • interleaveShapes, swapInterleave, appendShape, prefixShape

Version 0.1.2.0

August 12, 2019

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

  • Add predicates (IsInsert, IsPrefix, etc.) and Auto and Decidable instances for most of the data types, for auto-generation and searches.
  • Add some functions for creating Appends and witnesses of concatenation type families from Appends.
  • interleavedIxes, for more manipulation of Interleave

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