packages feed

list-witnesses 0.1.3.0 → 0.1.3.1

raw patch · 3 files changed

+21/−11 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Type.List.Sublist: pattern AppendWit' :: forall as bs cs. (RecApplicative as, RecApplicative bs) => ((as ++ bs) ~ cs, (as ++ bs) ~ cs) => Append as bs cs
- Data.Type.List.Sublist: subsetToInterleaveLeft :: Subset as cs -> (forall bs. Interleave as bs cs -> r) -> r
- Data.Type.List.Sublist: subsetToInterleaveRight :: Subset bs cs -> (forall as. Interleave as bs cs -> r) -> r
+ Data.Type.List.Sublist: subsetToInterleaveL :: Subset as cs -> (forall bs. Interleave as bs cs -> r) -> r
+ Data.Type.List.Sublist: subsetToInterleaveR :: Subset bs cs -> (forall as. Interleave as bs cs -> r) -> r

Files

CHANGELOG.md view
@@ -1,6 +1,16 @@ Changelog ========= +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 ---------------
list-witnesses.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 719f24db96d689225456161daf1be9b65869796716720c8702c4de187265dc65+-- hash: 4055090befaa2d0679560c0b267262ff97d3c618a1503a0e4d5497fdbf73242d  name:           list-witnesses-version:        0.1.3.0+version:        0.1.3.1 synopsis:       Witnesses for working with type-level lists description:    Collection of assorted inductive witnesses and functions for working with                 type-level lists.
src/Data/Type/List/Sublist.hs view
@@ -63,7 +63,7 @@   , Subset(..), IsSubset, autoSubset   , subsetComplement   , interleaveRToSubset, interleaveLToSubset-  , subsetToInterleaveLeft, subsetToInterleaveRight+  , subsetToInterleaveL, subsetToInterleaveR   , subsetRec, getSubset   , subsetShapes   , subsetIxes@@ -830,25 +830,25 @@  -- | Convert a 'Subset' into an left 'Interleave', recovering the dropped -- items.-subsetToInterleaveLeft+subsetToInterleaveL     :: Subset as cs     -> (forall bs. Interleave as bs cs -> r)     -> r-subsetToInterleaveLeft = \case+subsetToInterleaveL = \case     SubsetNil   -> \f -> f IntZ-    SubsetNo  s -> \f -> subsetToInterleaveLeft s (f . IntR)-    SubsetYes s -> \f -> subsetToInterleaveLeft s (f . IntL)+    SubsetNo  s -> \f -> subsetToInterleaveL s (f . IntR)+    SubsetYes s -> \f -> subsetToInterleaveL s (f . IntL)  -- | Convert a 'Subset' into an right 'Interleave', recovering the dropped -- items.-subsetToInterleaveRight+subsetToInterleaveR     :: Subset bs cs     -> (forall as. Interleave as bs cs -> r)     -> r-subsetToInterleaveRight = \case+subsetToInterleaveR = \case     SubsetNil   -> \f -> f IntZ-    SubsetNo  s -> \f -> subsetToInterleaveRight s (f . IntL)-    SubsetYes s -> \f -> subsetToInterleaveRight s (f . IntR)+    SubsetNo  s -> \f -> subsetToInterleaveR s (f . IntL)+    SubsetYes s -> \f -> subsetToInterleaveR s (f . IntR)  -- | @as@ is a subset of @cs@; this function recovers @bs@, the subset of -- @cs@ that is not @as@.