poly-rec 0.7.0.0 → 0.7.0.2

raw patch · 3 files changed

+8/−7 lines, 3 filesdep ~requirements

Dependency ranges changed: requirements

Files

• poly-rec.cabal +2/−2
• src/Data/GenRec.hs +5/−4
• src/Data/GenRec/RecInstances/Record.hs +1/−1

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                poly-rec-version:             0.7.0.0+version:             0.7.0.2 synopsis:            Polykinded extensible records description:         Extensible records/row polymorphism for Haskell. Fields are polykinded,                      to statically check rich structures. This library was initially conceived@@ -24,7 +24,7 @@                       -- other-modules:   -- other-extensions:-  build-depends:       requirements >= 0.6.0.0 && < 0.7,+  build-depends:       requirements >= 0.7.0.2 && < 0.7.1,                        base >=4.11 && <4.18   hs-source-dirs:      src   default-language:    Haskell2010

@@ -303,9 +303,10 @@                     :$$: Text "updating the " :<>: Text (ShowField c)                      :<>: ShowTE l)) ctx)   =>-  Require (OpUpdate c l v '[]) ctx where-  type ReqR (OpUpdate c l v ('[] )  ) = Rec c '[]-  req = undefined+  Require (OpUpdate c (l :: k') (v :: k'') ('[] :: [(k', k'')])) ctx where+  type ReqR (OpUpdate c l v ('[] :: [(k', k'')]) )+    = Rec c ('[] :: [(k', k'')])+  req ctx (OpUpdate l f EmptyRec) = EmptyRec  -- | label found instance @@ -450,4 +451,4 @@   type ReqR (OpLookupCall c l r) =     ReqR (OpLookup c l r)   req ctx (OpLookupCall l r) =-   req (Proxy @ (ShowType r ': ctx)) (OpLookup l r)+   req (Proxy @(ShowType r ': ctx)) (OpLookup l r)

@@ -88,7 +88,7 @@   =>   Show (Tagged l v) where   show (Tagged v :: TagField Reco l v) =-    symbolVal (proxyFrom (Label @ l)) ++ " : "++ show v+    symbolVal (proxyFrom (Label @l)) ++ " : "++ show v      where proxyFrom :: Label l -> Proxy l            proxyFrom _ = Proxy