syb-with-class 0.6.1.3 → 0.6.1.4
raw patch · 2 files changed
+5/−3 lines, 2 filesdep ~template-haskellPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: template-haskell
API changes (from Hackage documentation)
- Data.Generics.SYB.WithClass.Instances: instance [overlap ok] (Data ctx ByteString, Data ctx ByteString, Sat (ctx ByteString), Sat (ctx ByteString)) => Data ctx ByteString
+ Data.Generics.SYB.WithClass.Instances: instance [overlap ok] (Data ctx ByteString, Sat (ctx ByteString), Sat (ctx ByteString)) => Data ctx ByteString
- Data.Generics.SYB.WithClass.Basics: class (Typeable a, Sat (ctx a)) => Data ctx a
+ Data.Generics.SYB.WithClass.Basics: class (Typeable a, Sat (ctx a)) => Data ctx a where gfoldl _ _ z = z gunfold _ _ _ _ = undefined dataTypeOf _ _ = undefined dataCast1 _ _ = Nothing dataCast2 _ _ = Nothing
- Data.Generics.SYB.WithClass.Basics: data Proxy a :: (* -> *)
+ Data.Generics.SYB.WithClass.Basics: data Proxy (a :: * -> *)
Files
Data/Generics/SYB/WithClass/Derive.hs view
@@ -176,13 +176,15 @@ ]) where notTyVar (VarT _) = False notTyVar _ = True+ applied (AppT f _) = applied f+ applied x = x types = [ t | (_, _, _, ts) <- cons, t <- ts, notTyVar t ] myType = foldl AppT (ConT name) typeParams dataCxt typ = conT ''Data `appT` varT (mkName "ctx") `appT` return typ dataCxt' typ = return $ ClassP ''Data [VarT (mkName "ctx"), typ] satCxt typ = return $ ClassP ''Sat [VarT (mkName "ctx") `AppT` typ]- dataCxtTypes = nub (typeParams ++ types)+ dataCxtTypes = filter (\x -> applied x /= ConT name) $ nub (typeParams ++ types) satCxtTypes = nub (myType : types) context = cxt (map dataCxt' dataCxtTypes ++ map satCxt satCxtTypes) #endif
syb-with-class.cabal view
@@ -1,5 +1,5 @@ Name: syb-with-class-Version: 0.6.1.3+Version: 0.6.1.4 License: BSD3 License-file: LICENSE Copyright: 2004 - 2008 The University of Glasgow, CWI,@@ -25,7 +25,7 @@ location: http://patch-tag.com/r/Saizan/syb-with-class/ Library - Build-Depends: base >= 3 && < 5, template-haskell >= 2.4 && < 2.8, bytestring, array, containers+ Build-Depends: base >= 3 && < 5, template-haskell >= 2.4 && < 2.9, bytestring, array, containers Exposed-modules: Data.Generics.SYB.WithClass.Basics Data.Generics.SYB.WithClass.Context