list-witnesses changelog

Changelog History

• v0.1.3.2 Changes

  August 26, 2019

  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.

• v0.1.3.1 Changes

  August 24, 2019

  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.

• v0.1.3.0 Changes

  August 23, 2019

  August 23, 2019

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

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

• v0.1.2.0 Changes

  August 13, 2019

  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

• v0.1.1.1 Changes

  August 04, 2019

  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.

• v0.1.1.0 Changes

  March 07, 2019

  March 7, 2019

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

  • Add Interleave to Data.Type.List.Sublist.

• v0.1.0.0 Changes

  March 07, 2019

  March 6, 2019

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

  • 🚀 Initial release