Changelog

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