type-level-kv-list 2.0.1.1 → 2.0.1.2

raw patch · 2 files changed

+6/−1 lines, 2 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

+ Data.KVList: instance (GHC.Classes.Eq v, GHC.Classes.Eq (Data.KVList.KVList kvs)) => GHC.Classes.Eq (Data.KVList.KVList ((k Data.KVList.:= v) : kvs))

+ Data.KVList: instance GHC.Classes.Eq (Data.KVList.KVList '[])

src/Data/KVList.hs view

@@ -56,6 +56,11 @@   KVNil :: KVList '[]   KVCons :: (KnownSymbol key) => key := v -> KVList xs -> KVList ((key := v) ': xs) +instance Eq (KVList '[]) where+  (==) _ _ = True++instance (Eq v, Eq (KVList kvs)) => Eq (KVList ((k := v) ': kvs)  ) where+  (==) (KVCons (_ := v1) next1) (KVCons (_ := v2) next2) = v1 == v2 && next1 == next2  {-| -} instance ShowFields (KVList kvs) => Show (KVList kvs) where

type-level-kv-list.cabal view

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           type-level-kv-list-version:        2.0.1.1+version:        2.0.1.2 synopsis:       Type level Key-Value list. description:    This library provides a brief implementation for extensible records. category:       Data