packages feed

keyed-vals 0.2.3.2 → 0.2.3.3

raw patch · 2 files changed

+8/−2 lines, 2 filesdep ~http-api-dataPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: http-api-data

API changes (from Hackage documentation)

- KeyedVals.Handle: data Handle m
+ KeyedVals.Handle: data Handle (m :: Type -> Type)
- KeyedVals.Handle.Internal: Handle :: !Key -> m (Either HandleErr (Maybe Val)) -> !Key -> Val -> m (Either HandleErr ()) -> !Key -> m (Either HandleErr Natural) -> !Key -> m (Either HandleErr ValsByKey) -> !Key -> ValsByKey -> m (Either HandleErr ()) -> !Key -> ValsByKey -> m (Either HandleErr ()) -> !Key -> Key -> m (Either HandleErr (Maybe Val)) -> !Key -> Key -> Val -> m (Either HandleErr ()) -> !Key -> Selection -> m (Either HandleErr ValsByKey) -> !Selection -> m (Either HandleErr ()) -> !Key -> Selection -> m (Either HandleErr ()) -> !m () -> Handle m
+ KeyedVals.Handle.Internal: Handle :: !Key -> m (Either HandleErr (Maybe Val)) -> !Key -> Val -> m (Either HandleErr ()) -> !Key -> m (Either HandleErr Natural) -> !Key -> m (Either HandleErr ValsByKey) -> !Key -> ValsByKey -> m (Either HandleErr ()) -> !Key -> ValsByKey -> m (Either HandleErr ()) -> !Key -> Key -> m (Either HandleErr (Maybe Val)) -> !Key -> Key -> Val -> m (Either HandleErr ()) -> !Key -> Selection -> m (Either HandleErr ValsByKey) -> !Selection -> m (Either HandleErr ()) -> !Key -> Selection -> m (Either HandleErr ()) -> !m () -> Handle (m :: Type -> Type)
- KeyedVals.Handle.Internal: [hClose] :: Handle m -> !m ()
+ KeyedVals.Handle.Internal: [hClose] :: Handle (m :: Type -> Type) -> !m ()
- KeyedVals.Handle.Internal: [hCountKVs] :: Handle m -> !Key -> m (Either HandleErr Natural)
+ KeyedVals.Handle.Internal: [hCountKVs] :: Handle (m :: Type -> Type) -> !Key -> m (Either HandleErr Natural)
- KeyedVals.Handle.Internal: [hDeleteSelectedKVs] :: Handle m -> !Key -> Selection -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hDeleteSelectedKVs] :: Handle (m :: Type -> Type) -> !Key -> Selection -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: [hDeleteSelected] :: Handle m -> !Selection -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hDeleteSelected] :: Handle (m :: Type -> Type) -> !Selection -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: [hLoadFrom] :: Handle m -> !Key -> Key -> m (Either HandleErr (Maybe Val))
+ KeyedVals.Handle.Internal: [hLoadFrom] :: Handle (m :: Type -> Type) -> !Key -> Key -> m (Either HandleErr (Maybe Val))
- KeyedVals.Handle.Internal: [hLoadKVs] :: Handle m -> !Key -> m (Either HandleErr ValsByKey)
+ KeyedVals.Handle.Internal: [hLoadKVs] :: Handle (m :: Type -> Type) -> !Key -> m (Either HandleErr ValsByKey)
- KeyedVals.Handle.Internal: [hLoadSlice] :: Handle m -> !Key -> Selection -> m (Either HandleErr ValsByKey)
+ KeyedVals.Handle.Internal: [hLoadSlice] :: Handle (m :: Type -> Type) -> !Key -> Selection -> m (Either HandleErr ValsByKey)
- KeyedVals.Handle.Internal: [hLoadVal] :: Handle m -> !Key -> m (Either HandleErr (Maybe Val))
+ KeyedVals.Handle.Internal: [hLoadVal] :: Handle (m :: Type -> Type) -> !Key -> m (Either HandleErr (Maybe Val))
- KeyedVals.Handle.Internal: [hSaveKVs] :: Handle m -> !Key -> ValsByKey -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hSaveKVs] :: Handle (m :: Type -> Type) -> !Key -> ValsByKey -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: [hSaveTo] :: Handle m -> !Key -> Key -> Val -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hSaveTo] :: Handle (m :: Type -> Type) -> !Key -> Key -> Val -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: [hSaveVal] :: Handle m -> !Key -> Val -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hSaveVal] :: Handle (m :: Type -> Type) -> !Key -> Val -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: [hUpdateKVs] :: Handle m -> !Key -> ValsByKey -> m (Either HandleErr ())
+ KeyedVals.Handle.Internal: [hUpdateKVs] :: Handle (m :: Type -> Type) -> !Key -> ValsByKey -> m (Either HandleErr ())
- KeyedVals.Handle.Internal: data Handle m
+ KeyedVals.Handle.Internal: data Handle (m :: Type -> Type)
- KeyedVals.Handle.Typed: [Fixed] :: PathOf v => TypedPath v
+ KeyedVals.Handle.Typed: [Fixed] :: forall v. PathOf v => TypedPath v
- KeyedVals.Handle.Typed: [Variable] :: VaryingPathOf v => PathVar v -> TypedPath v
+ KeyedVals.Handle.Typed: [Variable] :: forall v. VaryingPathOf v => PathVar v -> TypedPath v
- KeyedVals.Handle.Typed: class (KnownSymbol (KVPath value), EncodeKV (KeyType value), DecodeKV (KeyType value)) => PathOf value where {
+ KeyedVals.Handle.Typed: class (KnownSymbol KVPath value, EncodeKV KeyType value, DecodeKV KeyType value) => PathOf value where {
- KeyedVals.Handle.Typed: data Handle m
+ KeyedVals.Handle.Typed: data Handle (m :: Type -> Type)
- KeyedVals.Handle.Typed: loadSlice :: forall m a. (Monad m, DecodeKV a, PathOf a, DecodeKV (KeyType a), Ord (KeyType a)) => Handle m -> TypedPath a -> NonEmpty (KeyType a) -> m (Either HandleErr (TypedKVs a))
+ KeyedVals.Handle.Typed: loadSlice :: (Monad m, DecodeKV a, PathOf a, DecodeKV (KeyType a), Ord (KeyType a)) => Handle m -> TypedPath a -> NonEmpty (KeyType a) -> m (Either HandleErr (TypedKVs a))
- KeyedVals.Handle.Typed: pathKey :: forall v. TypedPath v -> Key
+ KeyedVals.Handle.Typed: pathKey :: TypedPath v -> Key
- KeyedVals.Handle.Typed: rawPath :: forall value. PathOf value => Proxy value -> Key
+ KeyedVals.Handle.Typed: rawPath :: PathOf value => Proxy value -> Key
- KeyedVals.Handle.Typed: type TypedKVs value = Map (KeyType value) value
+ KeyedVals.Handle.Typed: type TypedKVs value = Map KeyType value value

Files

ChangeLog.md view
@@ -2,6 +2,12 @@  `keyed-vals` uses [PVP Versioning][1]. +## 0.2.3.3 -- 2026-01-14++Changed++* Relax upper bounds on the http-api-data dependency+ ## 0.2.3.2 -- 2025-03-25  Changed
keyed-vals.cabal view
@@ -1,6 +1,6 @@ cabal-version:      3.0 name:               keyed-vals-version:            0.2.3.2+version:            0.2.3.3 license:            BSD-3-Clause license-file:       LICENSE maintainer:         adetokunbo@emio.la@@ -49,6 +49,6 @@     , base           >=4.11     && <5.0     , bytestring     >=0.10.8.2 && <0.11 || >=0.11.3 && <0.12.5     , containers     >=0.6.5    && <0.8-    , http-api-data  >=0.5      && <0.7+    , http-api-data  >=0.5      && <0.9     , redis-glob     >=0.1      && <0.2     , text           >=1.2.4    && <1.3  || >=2.0