packages feed

chr-data 0.1.0.0 → 0.1.0.1

raw patch · 5 files changed

+19/−2 lines, 5 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- CHR.Data.Lookup.Scoped: instance (GHC.Show.Show scps, GHC.Show.Show lkup) => GHC.Show.Show (CHR.Data.Lookup.Scoped.ScpsLkup lkup scps)
- CHR.Data.VarMp: instance (GHC.Classes.Eq v, GHC.Classes.Eq k) => GHC.Classes.Eq (CHR.Data.VarMp.VarMp' k v)
- CHR.Data.VarMp: instance (GHC.Classes.Ord v, GHC.Classes.Ord k) => GHC.Classes.Ord (CHR.Data.VarMp.VarMp' k v)
+ CHR.Data.FastSeq: instance GHC.Base.Semigroup (CHR.Data.FastSeq.FastSeq a)
+ CHR.Data.Lookup: class Scoped c
+ CHR.Data.Lookup: class Stacked stk
+ CHR.Data.Lookup.Scoped: instance (GHC.Show.Show lkup, GHC.Show.Show scps) => GHC.Show.Show (CHR.Data.Lookup.Scoped.ScpsLkup lkup scps)
+ CHR.Data.VarMp: instance (GHC.Classes.Eq k, GHC.Classes.Eq v) => GHC.Classes.Eq (CHR.Data.VarMp.VarMp' k v)
+ CHR.Data.VarMp: instance (GHC.Classes.Ord k, GHC.Classes.Ord v) => GHC.Classes.Ord (CHR.Data.VarMp.VarMp' k v)
+ CHR.Data.VecAlloc: size :: VecAlloc e -> Int
- CHR.Data.Lens.FCLabels: (=.) :: MonadState f m => Lens (->) LiftedRep LiftedRep f o -> (o -> o) -> m ()
+ CHR.Data.Lens.FCLabels: (=.) :: MonadState f m => Lens ((->) :: * -> * -> *) f o -> o -> o -> m ()
- CHR.Data.Lens.FCLabels: (=:) :: MonadState f m => Lens (->) LiftedRep LiftedRep f o -> o -> m ()
+ CHR.Data.Lens.FCLabels: (=:) :: MonadState f m => Lens ((->) :: * -> * -> *) f o -> o -> m ()
- CHR.Data.Lens.FCLabels: fst3l :: ArrowApply arr => Lens arr ((a, b, c) -> (o, b, c)) (a -> o)
+ CHR.Data.Lens.FCLabels: fst3l :: ArrowApply arr => Lens arr (a, b, c) -> (o, b, c) a -> o
- CHR.Data.Lens.FCLabels: fstl :: ArrowApply arr => Lens arr ((a, b) -> (o, b)) (a -> o)
+ CHR.Data.Lens.FCLabels: fstl :: ArrowApply arr => Lens arr (a, b) -> (o, b) a -> o
- CHR.Data.Lens.FCLabels: modifyAndGet :: MonadState f m => Lens (->) LiftedRep LiftedRep f o -> (o -> (a, o)) -> m a
+ CHR.Data.Lens.FCLabels: modifyAndGet :: MonadState f m => Lens ((->) :: * -> * -> *) f o -> o -> (a, o) -> m a
- CHR.Data.Lens.FCLabels: snd3l :: ArrowApply arr => Lens arr ((a, b, c) -> (a, o, c)) (b -> o)
+ CHR.Data.Lens.FCLabels: snd3l :: ArrowApply arr => Lens arr (a, b, c) -> (a, o, c) b -> o
- CHR.Data.Lens.FCLabels: sndl :: ArrowApply arr => Lens arr ((a, b) -> (a, o)) (b -> o)
+ CHR.Data.Lens.FCLabels: sndl :: ArrowApply arr => Lens arr (a, b) -> (a, o) b -> o
- CHR.Data.Lens.FCLabels: trd3l :: ArrowApply arr => Lens arr ((a, b, c) -> (a, b, o)) (c -> o)
+ CHR.Data.Lens.FCLabels: trd3l :: ArrowApply arr => Lens arr (a, b, c) -> (a, b, o) c -> o
- CHR.Utils: sortOn :: Ord b => (a -> b) -> [a] -> [a]
+ CHR.Utils: sortOn :: Ord b => a -> b -> [a] -> [a]

Files

ChangeLog.md view
@@ -1,5 +1,9 @@ # Revision history for chr-data +## 0.1.0.1  -- 2018-08-18++* ghc 8.4+ ## 0.1.0.0  -- YYYY-mm-dd  * First version. Released on an unsuspecting world.
chr-data.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                chr-data-version:             0.1.0.0+version:             0.1.0.1 synopsis:            Datatypes required for chr library description:         Datatypes required for chr library, in particular searching on treestructures, lookup abstraction, substitutions, etc. These are also used (via uhc-util) in UHC. homepage:            https://github.com/atzedijkstra/chr@@ -51,7 +51,7 @@     FlexibleInstances   -- other-extensions:   build-depends:-    base >=4.9 && < 5,+    base >=4.8 && < 5,     array >= 0.3,     containers >= 0.4,     hashable >= 1.2.4,
src/CHR/Data/FastSeq.hs view
@@ -1,3 +1,5 @@+{-# LANGUAGE CPP #-}+ module CHR.Data.FastSeq   ( FastSeq((:++:),(::+:),(:+::))   , Seq@@ -41,6 +43,11 @@ ------------------------------------------------------------------------- -- Instances -------------------------------------------------------------------------++#if __GLASGOW_HASKELL__ >= 804+instance Semigroup (FastSeq a) where+  (<>) = union+#endif  instance Monoid (FastSeq a) where   mempty  = empty
src/CHR/Data/Lookup/Instances.hs view
@@ -123,6 +123,7 @@   toList            = VAr.toList   fromList          = VAr.fromList   null              = VAr.null+  size              = VAr.size  ------------------------------------------------------------------------------------------- -- Instances: LookupApply
src/CHR/Data/VecAlloc.hs view
@@ -15,6 +15,8 @@   , toList   , fromList   , null+  +  , size   )   where @@ -101,3 +103,6 @@ unionWith :: (e -> e -> e) -> VecAlloc e -> VecAlloc e -> VecAlloc e unionWith f (VecAlloc {_vecallocVec=v1}) (VecAlloc {_vecallocVec=v2}) -}++size :: VecAlloc e -> Int+size = V.length . _vecallocVec