syb-with-class 0.6.1.9 → 0.6.1.10
raw patch · 1 files changed
+3/−3 lines, 1 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.Basics: [HRefl] :: a :~~: a
+ Data.Generics.SYB.WithClass.Basics: [Refl] :: a :~: a
+ Data.Generics.SYB.WithClass.Basics: cast :: (Typeable a, Typeable b) => a -> Maybe b
+ Data.Generics.SYB.WithClass.Basics: class Typeable (a :: k)
+ Data.Generics.SYB.WithClass.Basics: data TyCon
+ Data.Generics.SYB.WithClass.Basics: data (:~:) (a :: k) (b :: k) :: forall k. () => k -> k -> *
+ Data.Generics.SYB.WithClass.Basics: data (:~~:) (a :: k1) (b :: k2) :: forall k1 k2. () => k1 -> k2 -> *
+ Data.Generics.SYB.WithClass.Basics: eqT :: (Typeable a, Typeable b) => Maybe a :~: b
+ Data.Generics.SYB.WithClass.Basics: funResultTy :: TypeRep -> TypeRep -> Maybe TypeRep
+ Data.Generics.SYB.WithClass.Basics: gcast :: (Typeable a, Typeable b) => c a -> Maybe c b
+ Data.Generics.SYB.WithClass.Basics: gcast1 :: (Typeable t, Typeable t') => c t a -> Maybe c t' a
+ Data.Generics.SYB.WithClass.Basics: gcast2 :: (Typeable t, Typeable t') => c t a b -> Maybe c t' a b
+ Data.Generics.SYB.WithClass.Basics: mkFunTy :: TypeRep -> TypeRep -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: rnfTyCon :: TyCon -> ()
+ Data.Generics.SYB.WithClass.Basics: rnfTypeRep :: TypeRep -> ()
+ Data.Generics.SYB.WithClass.Basics: showsTypeRep :: TypeRep -> ShowS
+ Data.Generics.SYB.WithClass.Basics: splitTyConApp :: TypeRep -> (TyCon, [TypeRep])
+ Data.Generics.SYB.WithClass.Basics: tyConFingerprint :: TyCon -> Fingerprint
+ Data.Generics.SYB.WithClass.Basics: tyConModule :: TyCon -> String
+ Data.Generics.SYB.WithClass.Basics: tyConName :: TyCon -> String
+ Data.Generics.SYB.WithClass.Basics: tyConPackage :: TyCon -> String
+ Data.Generics.SYB.WithClass.Basics: type TypeRep = SomeTypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf :: Typeable a => a -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf1 :: Typeable t => t a -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf2 :: Typeable t => t a b -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf3 :: Typeable t => t a b c -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf4 :: Typeable t => t a b c d -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf5 :: Typeable t => t a b c d e -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf6 :: Typeable t => t a b c d e f -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeOf7 :: Typeable t => t a b c d e f g -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeRep :: Typeable a => proxy a -> TypeRep
+ Data.Generics.SYB.WithClass.Basics: typeRepArgs :: TypeRep -> [TypeRep]
+ Data.Generics.SYB.WithClass.Basics: typeRepFingerprint :: TypeRep -> Fingerprint
+ Data.Generics.SYB.WithClass.Basics: typeRepTyCon :: TypeRep -> TyCon
- Data.Generics.SYB.WithClass.Basics: Qr :: (r -> r) -> Qr r a
+ Data.Generics.SYB.WithClass.Basics: Qr :: r -> r -> Qr r a
- Data.Generics.SYB.WithClass.Basics: dataCast1 :: (Data ctx a, Typeable1 t) => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w a)
+ Data.Generics.SYB.WithClass.Basics: dataCast1 :: (Data ctx a, Typeable t) => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w a)
- Data.Generics.SYB.WithClass.Basics: dataCast2 :: (Data ctx a, Typeable2 t) => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w a)
+ Data.Generics.SYB.WithClass.Basics: dataCast2 :: (Data ctx a, Typeable t) => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w a)
- Data.Generics.SYB.WithClass.Basics: type GenericQ ctx r = forall a. Data ctx a => a -> r
+ Data.Generics.SYB.WithClass.Basics: type GenericT ctx = forall a. Data ctx a => a -> a
Files
- syb-with-class.cabal +3/−3
syb-with-class.cabal view
@@ -1,5 +1,5 @@ Name: syb-with-class-Version: 0.6.1.9+Version: 0.6.1.10 License: BSD3 License-file: LICENSE Copyright: 2004 - 2008 The University of Glasgow, CWI,@@ -15,7 +15,7 @@ Classes, and Template Haskell code to generate instances, for the Scrap Your Boilerplate With Class system. Category: Data-Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC==8.0.1, GHC==8.2.1, GHC==8.4.1+Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC==8.0.1, GHC==8.2.1, GHC==8.4.3, GHC==8.6.1 Build-Type: Simple Cabal-Version: >= 1.6 @@ -24,7 +24,7 @@ location: https://github.com/Happstack/syb-with-class Library- Build-Depends: base >= 3 && < 5, template-haskell >= 2.4 && < 2.14, bytestring, array, containers+ Build-Depends: base >= 3 && < 5, template-haskell >= 2.4 && < 2.15, bytestring, array, containers Exposed-modules: Data.Generics.SYB.WithClass.Basics Data.Generics.SYB.WithClass.Context