hkd-records 0.0.5 → 0.0.6

raw patch · 2 files changed

+7/−1 lines, 2 files

Files

• hkd-records.cabal +1/−1
• src/Data/HKD/Records.hs +6/−0

@@ -1,5 +1,5 @@ name:                hkd-records-version:             0.0.5+version:             0.0.6 cabal-version:       >=1.10 synopsis:  higher kinded record operations description: make higher kinded records great again

@@ -97,6 +97,9 @@   genFieldNames = M1 $ M1 $ genFieldNames   {-# INLINE genFieldNames #-} +instance (GFieldNames (U1 ())) where+  genFieldNames = U1+ data Dict c (t :: k) where   -- | reified type class dictionary. You can use the contained   -- typeclass by putting the `Dict` constructor somewhere within@@ -131,6 +134,9 @@ instance GFDicts (b ()) => (GFDicts ((D1 meta (C1 meta2 b)) ())) where   genFdict = M1 $ M1 $ genFdict   {-# INLINE genFdict #-}++instance GFDicts (U1 ()) where+  genFdict = U1  tupleToList :: Type -> Maybe [Type] tupleToList (AppT (TupleT _) t) = Just [t]