BSD-3-Clause licensed by Justin Le
This version can be pinned in stack with:list-witnesses-0.1.3.2@sha256:a72d5c2ca295b89313842c405e8ccd972153d0476dba00387515312931b87a3f,1670
Module documentation for 0.1.3.2
[list-witnesses][docs]
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.
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
