generic-deriving 1.10.4.1 → 1.10.5
raw patch · 14 files changed
+175/−97 lines, 14 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Generics.Deriving.Base: type UAddr = URec (Ptr ())
- Generics.Deriving.Base: type UChar = URec Char
- Generics.Deriving.Base: type UDouble = URec Double
- Generics.Deriving.Base: type UFloat = URec Float
- Generics.Deriving.Base: type UInt = URec Int
- Generics.Deriving.Base: type UWord = URec Word
- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum (Data.Proxy.Proxy s)
- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum GHC.Generics.Arity
- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Control.Applicative.Const a b)
- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx (Data.Proxy.Proxy s)
- Generics.Deriving.Enum: instance Generics.Deriving.Enum.GIx GHC.Generics.Arity
- Generics.Deriving.Enum: instance forall (k :: BOX) (f :: k -> *) (a :: k). (Generics.Deriving.Eq.GEq (f a), Generics.Deriving.Enum.GEnum (f a), Generics.Deriving.Enum.GIx (f a)) => Generics.Deriving.Enum.GIx (Data.Monoid.Alt f a)
- Generics.Deriving.Enum: instance forall (k :: BOX) (f :: k -> *) (a :: k). Generics.Deriving.Enum.GEnum (f a) => Generics.Deriving.Enum.GEnum (Data.Monoid.Alt f a)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Data.Proxy.Proxy s)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UAddr p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UChar p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UDouble p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UFloat p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UInt p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (Generics.Deriving.Base.Internal.UWord p)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq Data.Char.GeneralCategory
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq GHC.Generics.Arity
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Control.Applicative.Const a b)
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UAddr
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' Generics.Deriving.Base.Internal.UWord
- Generics.Deriving.Eq: instance forall (k :: BOX) (f :: k -> *) (a :: k). Generics.Deriving.Eq.GEq (f a) => Generics.Deriving.Eq.GEq (Data.Monoid.Alt f a)
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable (Control.Applicative.Const m)
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UAddr
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' Generics.Deriving.Base.Internal.UWord
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor (Control.Applicative.Const m)
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UAddr
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' Generics.Deriving.Base.Internal.UWord
- Generics.Deriving.Instances: instance GHC.Base.Functor f => GHC.Generics.Generic1 (f GHC.Generics.:.: g)
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0Complex
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0ConCompose
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0ConSum
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0ExitCode
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0K1
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0M1
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0Par1
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0Proxy
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0Rec1
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0U1
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UAddr
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UChar
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UDouble
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UFloat
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UInt
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0UWord
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_0Version
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_1ConSum
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_1ExitCode
- Generics.Deriving.Instances: instance GHC.Generics.Constructor Generics.Deriving.Instances.C1_ConProduct
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1Complex
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1ConCompose
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1ConProduct
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1ConSum
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1ExitCode
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1K1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1M1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1Par1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1Proxy
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1Rec1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1U1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UAddr
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UChar
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UDouble
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UFloat
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UInt
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1UWord
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1V1
- Generics.Deriving.Instances: instance GHC.Generics.Datatype Generics.Deriving.Instances.D1Version
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Data.Complex.Complex a)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (GHC.Generics.V1 p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UAddr p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UChar p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UDouble p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UFloat p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UInt p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic (Generics.Deriving.Base.Internal.UWord p)
- Generics.Deriving.Instances: instance GHC.Generics.Generic Data.Version.Version
- Generics.Deriving.Instances: instance GHC.Generics.Generic GHC.IO.Exception.ExitCode
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 (GHC.Generics.K1 i c)
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 (GHC.Generics.M1 i c f)
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 (GHC.Generics.Rec1 f)
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 (f GHC.Generics.:*: g)
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 (f GHC.Generics.:+: g)
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Data.Complex.Complex
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Data.Proxy.Proxy
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 GHC.Generics.Par1
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 GHC.Generics.U1
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 GHC.Generics.V1
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UAddr
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Instances: instance GHC.Generics.Generic1 Generics.Deriving.Base.Internal.UWord
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0ConCompose
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0K1
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0M1
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0Par1
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0Rec1
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UAddr
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UChar
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UDouble
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UFloat
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UInt
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0UWord
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_0Version
- Generics.Deriving.Instances: instance GHC.Generics.Selector Generics.Deriving.Instances.S1_0_1Version
- Generics.Deriving.Instances: type Rep0Complex a = D1 D1Complex (C1 C1_0Complex (S1 NoSelector (Rec0 a) :*: S1 NoSelector (Rec0 a)))
- Generics.Deriving.Instances: type Rep0ExitCode = D1 D1ExitCode (C1 C1_0ExitCode U1 :+: C1 C1_1ExitCode (S1 NoSelector (Rec0 Int)))
- Generics.Deriving.Instances: type Rep0UAddr p = D1 D1UAddr (C1 C1_0UAddr (S1 S1_0_0UAddr UAddr))
- Generics.Deriving.Instances: type Rep0UChar p = D1 D1UChar (C1 C1_0UChar (S1 S1_0_0UChar UChar))
- Generics.Deriving.Instances: type Rep0UDouble p = D1 D1UDouble (C1 C1_0UDouble (S1 S1_0_0UDouble UDouble))
- Generics.Deriving.Instances: type Rep0UFloat p = D1 D1UFloat (C1 C1_0UFloat (S1 S1_0_0UFloat UFloat))
- Generics.Deriving.Instances: type Rep0UInt p = D1 D1UInt (C1 C1_0UInt (S1 S1_0_0UInt UInt))
- Generics.Deriving.Instances: type Rep0UWord p = D1 D1UWord (C1 C1_0UWord (S1 S1_0_0UWord UWord))
- Generics.Deriving.Instances: type Rep0V1 p = D1 D1V1 V1
- Generics.Deriving.Instances: type Rep0Version = D1 D1Version (C1 C1_0Version (S1 S1_0_0Version (Rec0 [Int]) :*: S1 S1_0_1Version (Rec0 [String])))
- Generics.Deriving.Instances: type Rep1Complex = D1 D1Complex (C1 C1_0Complex (S1 NoSelector Par1 :*: S1 NoSelector Par1))
- Generics.Deriving.Instances: type Rep1ConCompose f g = D1 D1ConCompose (C1 C1_0ConCompose (S1 S1_0_0ConCompose (f :.: Rec1 g)))
- Generics.Deriving.Instances: type Rep1ConProduct f g = D1 D1ConProduct (C1 C1_ConProduct (S1 NoSelector (Rec1 f) :*: S1 NoSelector (Rec1 g)))
- Generics.Deriving.Instances: type Rep1ConSum f g = D1 D1ConSum (C1 C1_0ConSum (S1 NoSelector (Rec1 f)) :+: C1 C1_1ConSum (S1 NoSelector (Rec1 g)))
- Generics.Deriving.Instances: type Rep1K1 i c = D1 D1K1 (C1 C1_0K1 (S1 S1_0_0K1 (Rec0 c)))
- Generics.Deriving.Instances: type Rep1M1 i c f = D1 D1M1 (C1 C1_0M1 (S1 S1_0_0M1 (Rec1 f)))
- Generics.Deriving.Instances: type Rep1Par1 = D1 D1Par1 (C1 C1_0Par1 (S1 S1_0_0Par1 Par1))
- Generics.Deriving.Instances: type Rep1Proxy = D1 D1Proxy (C1 C1_0Proxy U1)
- Generics.Deriving.Instances: type Rep1Rec1 f = D1 D1Rec1 (C1 C1_0Rec1 (S1 S1_0_0Rec1 (Rec1 f)))
- Generics.Deriving.Instances: type Rep1U1 = D1 D1U1 (C1 C1_0U1 U1)
- Generics.Deriving.Instances: type Rep1UAddr = D1 D1UAddr (C1 C1_0UAddr (S1 S1_0_0UAddr UAddr))
- Generics.Deriving.Instances: type Rep1UChar = D1 D1UChar (C1 C1_0UChar (S1 S1_0_0UChar UChar))
- Generics.Deriving.Instances: type Rep1UDouble = D1 D1UDouble (C1 C1_0UDouble (S1 S1_0_0UDouble UDouble))
- Generics.Deriving.Instances: type Rep1UFloat = D1 D1UFloat (C1 C1_0UFloat (S1 S1_0_0UFloat UFloat))
- Generics.Deriving.Instances: type Rep1UInt = D1 D1UInt (C1 C1_0UInt (S1 S1_0_0UInt UInt))
- Generics.Deriving.Instances: type Rep1UWord = D1 D1UWord (C1 C1_0UWord (S1 S1_0_0UWord UWord))
- Generics.Deriving.Instances: type Rep1V1 = D1 D1V1 V1
- Generics.Deriving.Monoid: instance Generics.Deriving.Monoid.GMonoid (Data.Proxy.Proxy s)
- Generics.Deriving.Monoid: instance Generics.Deriving.Monoid.GMonoid a => Generics.Deriving.Monoid.GMonoid (Control.Applicative.Const a b)
- Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup (Data.Proxy.Proxy s)
- Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup a => Generics.Deriving.Semigroup.GSemigroup (Control.Applicative.Const a b)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (Generics.Deriving.Base.Internal.UChar p)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (Generics.Deriving.Base.Internal.UDouble p)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (Generics.Deriving.Base.Internal.UFloat p)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (Generics.Deriving.Base.Internal.UInt p)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (Generics.Deriving.Base.Internal.UWord p)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow Data.Char.GeneralCategory
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow GHC.Generics.Arity
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Control.Applicative.Const a b)
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' Generics.Deriving.Base.Internal.UWord
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable (Control.Applicative.Const m)
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UAddr
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UChar
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UDouble
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UFloat
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UInt
- Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' Generics.Deriving.Base.Internal.UWord
+ Generics.Deriving.Copoint: class GCopoint' t
+ Generics.Deriving.Copoint: gcopoint' :: GCopoint' t => t a -> Maybe a
+ Generics.Deriving.Copoint: instance (Generics.Deriving.Copoint.GCopoint f, Generics.Deriving.Copoint.GCopoint g) => Generics.Deriving.Copoint.GCopoint (Data.Functor.Sum.Sum f g)
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint (Data.Semigroup.Arg a)
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint Data.Semigroup.First
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint Data.Semigroup.Last
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint Data.Semigroup.Max
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint Data.Semigroup.Min
+ Generics.Deriving.Copoint: instance Generics.Deriving.Copoint.GCopoint Data.Semigroup.WrappedMonoid
+ Generics.Deriving.Enum: class Enum' f
+ Generics.Deriving.Enum: enum' :: Enum' f => [f a]
+ Generics.Deriving.Enum: instance (Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GEnum b) => Generics.Deriving.Enum.GEnum (Data.Semigroup.Arg a b)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.List.NonEmpty.NonEmpty a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.Semigroup.First a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.Semigroup.Last a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.Semigroup.Max a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.Semigroup.Min a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a) => Generics.Deriving.Enum.GIx (Data.Semigroup.Option a)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq a, Generics.Deriving.Enum.GEnum a, Generics.Deriving.Enum.GIx a, Generics.Deriving.Enum.GEnum b) => Generics.Deriving.Enum.GIx (Data.Semigroup.Arg a b)
+ Generics.Deriving.Enum: instance (Generics.Deriving.Eq.GEq m, Generics.Deriving.Enum.GEnum m, Generics.Deriving.Enum.GIx m) => Generics.Deriving.Enum.GIx (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.List.NonEmpty.NonEmpty a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Semigroup.First a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Semigroup.Last a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Semigroup.Max a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Semigroup.Min a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Semigroup.Option a)
+ Generics.Deriving.Enum: instance Generics.Deriving.Enum.GEnum m => Generics.Deriving.Enum.GEnum (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (a :: k). (Generics.Deriving.Eq.GEq (f a), Generics.Deriving.Enum.GEnum (f a), Generics.Deriving.Enum.GIx (f a)) => Generics.Deriving.Enum.GIx (Data.Monoid.Alt f a)
+ Generics.Deriving.Enum: instance forall k (f :: k -> *) (a :: k). Generics.Deriving.Enum.GEnum (f a) => Generics.Deriving.Enum.GEnum (Data.Monoid.Alt f a)
+ Generics.Deriving.Enum: instance forall k (s :: k). Generics.Deriving.Enum.GEnum (Data.Proxy.Proxy s)
+ Generics.Deriving.Enum: instance forall k (s :: k). Generics.Deriving.Enum.GIx (Data.Proxy.Proxy s)
+ Generics.Deriving.Enum: instance forall k a (b :: k). Generics.Deriving.Enum.GEnum a => Generics.Deriving.Enum.GEnum (Data.Functor.Const.Const a b)
+ Generics.Deriving.Eq: class GEq' f
+ Generics.Deriving.Eq: geq' :: GEq' f => f a -> f a -> Bool
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UAddr p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UChar p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UDouble p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UFloat p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UInt p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq (GHC.Generics.UWord p)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq GHC.Generics.DecidedStrictness
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq GHC.Generics.SourceStrictness
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq GHC.Generics.SourceUnpackedness
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq GHC.Unicode.GeneralCategory
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.List.NonEmpty.NonEmpty a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.Arg a b)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.First a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.Last a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.Max a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.Min a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Semigroup.Option a)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq m => Generics.Deriving.Eq.GEq (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UAddr
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UChar
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UDouble
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UFloat
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UInt
+ Generics.Deriving.Eq: instance Generics.Deriving.Eq.GEq' GHC.Generics.UWord
+ Generics.Deriving.Eq: instance forall k (f :: k -> *) (a :: k). Generics.Deriving.Eq.GEq (f a) => Generics.Deriving.Eq.GEq (Data.Monoid.Alt f a)
+ Generics.Deriving.Eq: instance forall k (s :: k). Generics.Deriving.Eq.GEq (Data.Proxy.Proxy s)
+ Generics.Deriving.Eq: instance forall k a (b :: k). Generics.Deriving.Eq.GEq a => Generics.Deriving.Eq.GEq (Data.Functor.Const.Const a b)
+ Generics.Deriving.Foldable: class GFoldable' t
+ Generics.Deriving.Foldable: gfoldMap' :: (GFoldable' t, Monoid m) => (a -> m) -> t a -> m
+ Generics.Deriving.Foldable: instance (Generics.Deriving.Foldable.GFoldable f, Generics.Deriving.Foldable.GFoldable g) => Generics.Deriving.Foldable.GFoldable (Data.Functor.Product.Product f g)
+ Generics.Deriving.Foldable: instance (Generics.Deriving.Foldable.GFoldable f, Generics.Deriving.Foldable.GFoldable g) => Generics.Deriving.Foldable.GFoldable (Data.Functor.Sum.Sum f g)
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable (Data.Functor.Const.Const m)
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable (Data.Semigroup.Arg a)
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.List.NonEmpty.NonEmpty
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.First
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.Last
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.Max
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.Min
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.Option
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable Data.Semigroup.WrappedMonoid
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UAddr
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UChar
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UDouble
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UFloat
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UInt
+ Generics.Deriving.Foldable: instance Generics.Deriving.Foldable.GFoldable' GHC.Generics.UWord
+ Generics.Deriving.Functor: class GFunctor' f
+ Generics.Deriving.Functor: gmap' :: GFunctor' f => (a -> b) -> f a -> f b
+ Generics.Deriving.Functor: instance (Generics.Deriving.Functor.GFunctor f, Generics.Deriving.Functor.GFunctor g) => Generics.Deriving.Functor.GFunctor (Data.Functor.Product.Product f g)
+ Generics.Deriving.Functor: instance (Generics.Deriving.Functor.GFunctor f, Generics.Deriving.Functor.GFunctor g) => Generics.Deriving.Functor.GFunctor (Data.Functor.Sum.Sum f g)
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor (Data.Functor.Const.Const m)
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor (Data.Semigroup.Arg a)
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.List.NonEmpty.NonEmpty
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.First
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.Last
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.Max
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.Min
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.Option
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor Data.Semigroup.WrappedMonoid
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UAddr
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UChar
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UDouble
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UFloat
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UInt
+ Generics.Deriving.Functor: instance Generics.Deriving.Functor.GFunctor' GHC.Generics.UWord
+ Generics.Deriving.Monoid: class GMonoid' f
+ Generics.Deriving.Monoid: class Monoid' f
+ Generics.Deriving.Monoid: gmappend' :: GMonoid' f => f x -> f x -> f x
+ Generics.Deriving.Monoid: gmempty' :: GMonoid' f => f x
+ Generics.Deriving.Monoid: instance Generics.Deriving.Monoid.GMonoid m => Generics.Deriving.Monoid.GMonoid (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Monoid: instance forall k (s :: k). Generics.Deriving.Monoid.GMonoid (Data.Proxy.Proxy s)
+ Generics.Deriving.Monoid: instance forall k a (b :: k). Generics.Deriving.Monoid.GMonoid a => Generics.Deriving.Monoid.GMonoid (Data.Functor.Const.Const a b)
+ Generics.Deriving.Monoid: mappend' :: Monoid' f => f x -> f x -> f x
+ Generics.Deriving.Monoid: mempty' :: Monoid' f => f x
+ Generics.Deriving.Semigroup: class GSemigroup' f
+ Generics.Deriving.Semigroup: gsappend' :: GSemigroup' f => f x -> f x -> f x
+ Generics.Deriving.Semigroup: gsconcat :: GSemigroup a => NonEmpty a -> a
+ Generics.Deriving.Semigroup: infixr 6 `gsappenddefault`
+ Generics.Deriving.Semigroup: instance GHC.Classes.Ord a => Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.Max a)
+ Generics.Deriving.Semigroup: instance GHC.Classes.Ord a => Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.Min a)
+ Generics.Deriving.Semigroup: instance Generics.Deriving.Monoid.GMonoid m => Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup (Data.List.NonEmpty.NonEmpty a)
+ Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.First a)
+ Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.Last a)
+ Generics.Deriving.Semigroup: instance Generics.Deriving.Semigroup.GSemigroup a => Generics.Deriving.Semigroup.GSemigroup (Data.Semigroup.Option a)
+ Generics.Deriving.Semigroup: instance forall k (s :: k). Generics.Deriving.Semigroup.GSemigroup (Data.Proxy.Proxy s)
+ Generics.Deriving.Semigroup: instance forall k a (b :: k). Generics.Deriving.Semigroup.GSemigroup a => Generics.Deriving.Semigroup.GSemigroup (Data.Functor.Const.Const a b)
+ Generics.Deriving.Show: class GShow' f where isNullary = error "generic show (isNullary): unnecessary case"
+ Generics.Deriving.Show: gshowsPrec' :: GShow' f => Type -> Int -> f a -> ShowS
+ Generics.Deriving.Show: instance (Generics.Deriving.Show.GShow a, Generics.Deriving.Show.GShow b) => Generics.Deriving.Show.GShow (Data.Semigroup.Arg a b)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (GHC.Generics.UChar p)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (GHC.Generics.UDouble p)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (GHC.Generics.UFloat p)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (GHC.Generics.UInt p)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow (GHC.Generics.UWord p)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow GHC.Unicode.GeneralCategory
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Functor.Const.Const a b)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.List.NonEmpty.NonEmpty a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Semigroup.First a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Semigroup.Last a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Semigroup.Max a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Semigroup.Min a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow a => Generics.Deriving.Show.GShow (Data.Semigroup.Option a)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow m => Generics.Deriving.Show.GShow (Data.Semigroup.WrappedMonoid m)
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' GHC.Generics.UChar
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' GHC.Generics.UDouble
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' GHC.Generics.UFloat
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' GHC.Generics.UInt
+ Generics.Deriving.Show: instance Generics.Deriving.Show.GShow' GHC.Generics.UWord
+ Generics.Deriving.Show: isNullary :: GShow' f => f a -> Bool
+ Generics.Deriving.Traversable: class GTraversable' t
+ Generics.Deriving.Traversable: gtraverse' :: (GTraversable' t, Applicative f) => (a -> f b) -> t a -> f (t b)
+ Generics.Deriving.Traversable: instance (Generics.Deriving.Traversable.GTraversable f, Generics.Deriving.Traversable.GTraversable g) => Generics.Deriving.Traversable.GTraversable (Data.Functor.Product.Product f g)
+ Generics.Deriving.Traversable: instance (Generics.Deriving.Traversable.GTraversable f, Generics.Deriving.Traversable.GTraversable g) => Generics.Deriving.Traversable.GTraversable (Data.Functor.Sum.Sum f g)
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable (Data.Functor.Const.Const m)
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable (Data.Semigroup.Arg a)
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.List.NonEmpty.NonEmpty
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.First
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.Last
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.Max
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.Min
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.Option
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable Data.Semigroup.WrappedMonoid
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UAddr
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UChar
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UDouble
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UFloat
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UInt
+ Generics.Deriving.Traversable: instance Generics.Deriving.Traversable.GTraversable' GHC.Generics.UWord
+ Generics.Deriving.Uniplate: children' :: Uniplate' f b => f a -> [b]
+ Generics.Deriving.Uniplate: class Uniplate' f b
+ Generics.Deriving.Uniplate: descend' :: Uniplate' f b => (b -> b) -> f a -> f a
+ Generics.Deriving.Uniplate: descendM' :: (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
+ Generics.Deriving.Uniplate: transform' :: Uniplate' f b => (b -> b) -> f a -> f a
+ Generics.Deriving.Uniplate: transformM' :: (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)
- Generics.Deriving.Copoint: gcopoint :: GCopoint d => d a -> a
+ Generics.Deriving.Copoint: gcopoint :: (GCopoint d, Generic1 d, GCopoint' (Rep1 d)) => (d a -> a)
- Generics.Deriving.Enum: genum :: GEnum a => [a]
+ Generics.Deriving.Enum: genum :: (GEnum a, Generic a, Enum' (Rep a)) => [a]
- Generics.Deriving.Enum: inRange :: GIx a => (a, a) -> a -> Bool
+ Generics.Deriving.Enum: inRange :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Bool
- Generics.Deriving.Enum: index :: GIx a => (a, a) -> a -> Int
+ Generics.Deriving.Enum: index :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> a -> Int
- Generics.Deriving.Enum: range :: GIx a => (a, a) -> [a]
+ Generics.Deriving.Enum: range :: (GIx a, GEq a, Generic a, Enum' (Rep a)) => (a, a) -> [a]
- Generics.Deriving.Eq: geq :: GEq a => a -> a -> Bool
+ Generics.Deriving.Eq: geq :: (GEq a, Generic a, GEq' (Rep a)) => a -> a -> Bool
- Generics.Deriving.Foldable: gfoldMap :: (GFoldable t, Monoid m) => (a -> m) -> t a -> m
+ Generics.Deriving.Foldable: gfoldMap :: (GFoldable t, Generic1 t, GFoldable' (Rep1 t), Monoid m) => (a -> m) -> t a -> m
- Generics.Deriving.Functor: gmap :: GFunctor f => (a -> b) -> f a -> f b
+ Generics.Deriving.Functor: gmap :: (GFunctor f, Generic1 f, GFunctor' (Rep1 f)) => (a -> b) -> f a -> f b
- Generics.Deriving.Monoid: gmappend :: GMonoid a => a -> a -> a
+ Generics.Deriving.Monoid: gmappend :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a -> a -> a
- Generics.Deriving.Monoid: gmempty :: GMonoid a => a
+ Generics.Deriving.Monoid: gmempty :: (GMonoid a, Generic a, GMonoid' (Rep a)) => a
- Generics.Deriving.Semigroup: class GSemigroup a where gsappend = gsappenddefault gstimes y0 x0 | y0 <= 0 = error "gstimes: positive multiplier expected" | otherwise = f x0 y0 where f x y | even y = f (gsappend x x) (y `quot` 2) | y == 1 = x | otherwise = g (gsappend x x) (pred y `quot` 2) x g x y z | even y = g (gsappend x x) (y `quot` 2) z | y == 1 = gsappend x z | otherwise = g (gsappend x x) (pred y `quot` 2) (gsappend x z)
+ Generics.Deriving.Semigroup: class GSemigroup a where gsappend = gsappenddefault gstimes y0 x0 | y0 <= 0 = error "gstimes: positive multiplier expected" | otherwise = f x0 y0 where f x y | even y = f (gsappend x x) (y `quot` 2) | y == 1 = x | otherwise = g (gsappend x x) (pred y `quot` 2) x g x y z | even y = g (gsappend x x) (y `quot` 2) z | y == 1 = gsappend x z | otherwise = g (gsappend x x) (pred y `quot` 2) (gsappend x z) gsconcat (a :| as) = go a as where go b (c : cs) = gsappend b (go c cs) go b [] = b
- Generics.Deriving.Semigroup: gsappend :: GSemigroup a => a -> a -> a
+ Generics.Deriving.Semigroup: gsappend :: (GSemigroup a, Generic a, GSemigroup' (Rep a)) => a -> a -> a
- Generics.Deriving.Show: gshowsPrec :: GShow a => Int -> a -> ShowS
+ Generics.Deriving.Show: gshowsPrec :: (GShow a, Generic a, GShow' (Rep a)) => Int -> a -> ShowS
- Generics.Deriving.Traversable: gtraverse :: (GTraversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
+ Generics.Deriving.Traversable: gtraverse :: (GTraversable t, Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
- Generics.Deriving.Uniplate: children :: Uniplate a => a -> [a]
+ Generics.Deriving.Uniplate: children :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => a -> [a]
- Generics.Deriving.Uniplate: context :: Uniplate a => a -> [a] -> a
+ Generics.Deriving.Uniplate: context :: (Uniplate a, Generic a, Context' (Rep a) a) => a -> [a] -> a
- Generics.Deriving.Uniplate: descend :: Uniplate a => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: descend :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
- Generics.Deriving.Uniplate: descendM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m a
+ Generics.Deriving.Uniplate: descendM :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
- Generics.Deriving.Uniplate: transform :: Uniplate a => (a -> a) -> a -> a
+ Generics.Deriving.Uniplate: transform :: (Uniplate a, Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a
- Generics.Deriving.Uniplate: transformM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m a
+ Generics.Deriving.Uniplate: transformM :: (Uniplate a, Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a
Files
- CHANGELOG.md +7/−0
- generic-deriving.cabal +1/−1
- src/Generics/Deriving/Copoint.hs +5/−2
- src/Generics/Deriving/Enum.hs +3/−0
- src/Generics/Deriving/Eq.hs +4/−1
- src/Generics/Deriving/Foldable.hs +4/−1
- src/Generics/Deriving/Functor.hs +4/−1
- src/Generics/Deriving/Instances.hs +88/−60
- src/Generics/Deriving/Monoid.hs +6/−0
- src/Generics/Deriving/Semigroup.hs +3/−0
- src/Generics/Deriving/Show.hs +3/−0
- src/Generics/Deriving/TH.hs +40/−30
- src/Generics/Deriving/Traversable.hs +4/−1
- src/Generics/Deriving/Uniplate.hs +3/−0
CHANGELOG.md view
@@ -1,3 +1,10 @@+# 1.10.5+* Apply an optimization to generated `to(1)`/`from(1)` instances that factors out+ common occurrences of `M1`. See+ http://git.haskell.org/ghc.git/commit/9649fc0ae45e006c2ed54cc5ea2414158949fadb+* Export internal typeclass names+* Fix Haddock issues with GHC 7.8+ # 1.10.4.1 * Fix Haddock parsing issue on GHC 8.0
generic-deriving.cabal view
@@ -1,5 +1,5 @@ name: generic-deriving-version: 1.10.4.1+version: 1.10.5 synopsis: Generic programming library for generalised deriving. description:
src/Generics/Deriving/Copoint.hs view
@@ -14,10 +14,13 @@ module Generics.Deriving.Copoint ( -- * GCopoint class- GCopoint(..),+ GCopoint(..) -- * Default method- gcopointdefault+ , gcopointdefault++ -- * Internal class+ , GCopoint'(..) ) where
src/Generics/Deriving/Enum.hs view
@@ -24,6 +24,9 @@ -- * Default definitions for GEnum , genumDefault, toEnumDefault, fromEnumDefault + -- * Internal enum class+ , Enum'(..)+ -- * Generic Ix class , GIx(..)
src/Generics/Deriving/Eq.hs view
@@ -19,11 +19,14 @@ #include "HsBaseConfig.h" module Generics.Deriving.Eq (- -- * Generic show class+ -- * Generic Eq class GEq(..) -- * Default definition , geqdefault++ -- * Internal Eq class+ , GEq'(..) ) where
src/Generics/Deriving/Foldable.hs view
@@ -14,7 +14,7 @@ #endif module Generics.Deriving.Foldable (- -- * Foldable class+ -- * Generic Foldable class GFoldable(..) -- * Default method@@ -37,6 +37,9 @@ , gelem , gnotElem , gfind++ -- * Internal Foldable class+ , GFoldable'(..) ) where import Control.Applicative (Const, ZipList)
src/Generics/Deriving/Functor.hs view
@@ -14,11 +14,14 @@ #endif module Generics.Deriving.Functor (- -- * GFunctor class+ -- * Generic Functor class GFunctor(..) -- * Default method , gmapdefault++ -- * Internal Functor class+ , GFunctor'(..) ) where
src/Generics/Deriving/Instances.hs view
@@ -145,10 +145,12 @@ instance Generic ExitCode where type Rep ExitCode = Rep0ExitCode- from ExitSuccess = M1 (L1 (M1 U1))- from (ExitFailure g) = M1 (R1 (M1 (M1 (K1 g))))- to (M1 (L1 (M1 U1))) = ExitSuccess- to (M1 (R1 (M1 (M1 (K1 g))))) = ExitFailure g+ from x = M1 (case x of+ ExitSuccess -> L1 (M1 U1)+ ExitFailure g -> R1 (M1 (M1 (K1 g))))+ to (M1 x) = case x of+ L1 (M1 U1) -> ExitSuccess+ R1 (M1 (M1 (K1 g))) -> ExitFailure g data D1ExitCode data C1_0ExitCode@@ -200,10 +202,12 @@ instance Generic1 (f :+: g) where type Rep1 (f :+: g) = Rep1ConSum f g- from1 (L1 l) = M1 (L1 (M1 (M1 (Rec1 l))))- from1 (R1 r) = M1 (R1 (M1 (M1 (Rec1 r))))- to1 (M1 (L1 (M1 (M1 l)))) = L1 (unRec1 l)- to1 (M1 (R1 (M1 (M1 r)))) = R1 (unRec1 r)+ from1 x = M1 (case x of+ L1 l -> L1 (M1 (M1 (Rec1 l)))+ R1 r -> R1 (M1 (M1 (Rec1 r))))+ to1 (M1 x) = case x of+ L1 (M1 (M1 l)) -> L1 (unRec1 l)+ R1 (M1 (M1 r)) -> R1 (unRec1 r) data D1ConSum data C1_0ConSum@@ -730,11 +734,13 @@ instance Generic Arity where type Rep Arity = Rep0Arity - from NoArity = M1 (L1 (M1 U1))- from (Arity a) = M1 (R1 (M1 (M1 (K1 a))))+ from x = M1 (case x of+ NoArity -> L1 (M1 U1)+ Arity a -> R1 (M1 (M1 (K1 a)))) - to (M1 (L1 (M1 U1))) = NoArity- to (M1 (R1 (M1 (M1 (K1 a))))) = Arity a+ to (M1 x) = case x of+ L1 (M1 U1) -> NoArity+ R1 (M1 (M1 (K1 a))) -> Arity a data D1Arity data C1_0Arity@@ -763,13 +769,15 @@ instance Generic Associativity where type Rep Associativity = Rep0Associativity - from LeftAssociative = M1 (L1 (M1 U1))- from RightAssociative = M1 (R1 (L1 (M1 U1)))- from NotAssociative = M1 (R1 (R1 (M1 U1)))+ from x = M1 (case x of+ LeftAssociative -> L1 (M1 U1)+ RightAssociative -> R1 (L1 (M1 U1))+ NotAssociative -> R1 (R1 (M1 U1))) - to (M1 (L1 (M1 U1))) = LeftAssociative- to (M1 (R1 (L1 (M1 U1)))) = RightAssociative- to (M1 (R1 (R1 (M1 U1)))) = NotAssociative+ to (M1 x) = case x of+ L1 (M1 U1) -> LeftAssociative+ R1 (L1 (M1 U1)) -> RightAssociative+ R1 (R1 (M1 U1)) -> NotAssociative data D1Associativity data C1_0Associativity@@ -916,11 +924,13 @@ instance Generic Fixity where type Rep Fixity = Rep0Fixity - from Prefix = M1 (L1 (M1 U1))- from (Infix a i) = M1 (R1 (M1 (M1 (K1 a) :*: M1 (K1 i))))+ from x = M1 (case x of+ Prefix -> L1 (M1 U1)+ Infix a i -> R1 (M1 (M1 (K1 a) :*: M1 (K1 i)))) - to (M1 (L1 (M1 U1))) = Prefix- to (M1 (R1 (M1 (M1 (K1 a) :*: M1 (K1 i))))) = Infix a i+ to (M1 x) = case x of+ L1 (M1 U1) -> Prefix+ R1 (M1 (M1 (K1 a) :*: M1 (K1 i))) -> Infix a i data D1Fixity data C1_0Fixity@@ -1177,11 +1187,13 @@ instance Generic ((f :+: g) p) where type Rep ((f :+: g) p) = Rep0ConSum f g p - from (L1 l) = M1 (L1 (M1 (M1 (K1 l))))- from (R1 r) = M1 (R1 (M1 (M1 (K1 r))))+ from x = M1 (case x of+ L1 l -> L1 (M1 (M1 (K1 l)))+ R1 r -> R1 (M1 (M1 (K1 r)))) - to (M1 (L1 (M1 (M1 (K1 l))))) = L1 l- to (M1 (R1 (M1 (M1 (K1 r))))) = R1 r+ to (M1 x) = case x of+ L1 (M1 (M1 (K1 l))) -> L1 l+ R1 (M1 (M1 (K1 r))) -> R1 r ----- @@ -1215,11 +1227,13 @@ instance Generic1 [] where type Rep1 [] = Rep1List - from1 [] = M1 (L1 (M1 U1))- from1 (h:t) = M1 (R1 (M1 (M1 (Par1 h) :*: M1 (Rec1 t))))+ from1 x = M1 (case x of+ [] -> L1 (M1 U1)+ h:t -> R1 (M1 (M1 (Par1 h) :*: M1 (Rec1 t)))) - to1 (M1 (L1 (M1 U1))) = []- to1 (M1 (R1 (M1 (M1 (Par1 h) :*: M1 (Rec1 t))))) = h : t+ to1 (M1 x) = case x of+ L1 (M1 U1) -> []+ R1 (M1 (M1 (Par1 h) :*: M1 (Rec1 t))) -> h : t data D1List data C1_0List@@ -1244,11 +1258,13 @@ instance Generic1 (Either a) where type Rep1 (Either a) = Rep1Either a - from1 (Left l) = M1 (L1 (M1 (M1 (K1 l))))- from1 (Right r) = M1 (R1 (M1 (M1 (Par1 r))))+ from1 x = M1 (case x of+ Left l -> L1 (M1 (M1 (K1 l)))+ Right r -> R1 (M1 (M1 (Par1 r)))) - to1 (M1 (L1 (M1 (M1 (K1 l))))) = Left l- to1 (M1 (R1 (M1 (M1 (Par1 r))))) = Right r+ to1 (M1 x) = case x of+ L1 (M1 (M1 (K1 l))) -> Left l+ R1 (M1 (M1 (Par1 r))) -> Right r data D1Either data C1_0Either@@ -1272,11 +1288,13 @@ instance Generic1 Maybe where type Rep1 Maybe = Rep1Maybe - from1 Nothing = M1 (L1 (M1 U1))- from1 (Just j) = M1 (R1 (M1 (M1 (Par1 j))))+ from1 x = M1 (case x of+ Nothing -> L1 (M1 U1)+ Just j -> R1 (M1 (M1 (Par1 j)))) - to1 (M1 (L1 (M1 U1))) = Nothing- to1 (M1 (R1 (M1 (M1 (Par1 j))))) = Just j+ to1 (M1 x) = case x of+ L1 (M1 U1) -> Nothing+ R1 (M1 (M1 (Par1 j))) -> Just j data D1Maybe data C1_0Maybe@@ -1461,11 +1479,13 @@ instance Generic Bool where type Rep Bool = Rep0Bool - from False = M1 (L1 (M1 U1))- from True = M1 (R1 (M1 U1))+ from x = M1 (case x of+ False -> L1 (M1 U1)+ True -> R1 (M1 U1)) - to (M1 (L1 (M1 U1))) = False- to (M1 (R1 (M1 U1))) = True+ to (M1 x) = case x of+ L1 (M1 U1) -> False+ R1 (M1 U1) -> True data D1Bool data C1_0Bool@@ -1527,11 +1547,13 @@ instance Generic (Either a b) where type Rep (Either a b) = Rep0Either a b - from (Left l) = M1 (L1 (M1 (M1 (K1 l))))- from (Right r) = M1 (R1 (M1 (M1 (K1 r))))+ from x = M1 (case x of+ Left l -> L1 (M1 (M1 (K1 l)))+ Right r -> R1 (M1 (M1 (K1 r)))) - to (M1 (L1 (M1 (M1 (K1 l))))) = Left l- to (M1 (R1 (M1 (M1 (K1 r))))) = Right r+ to (M1 x) = case x of+ L1 (M1 (M1 (K1 l))) -> Left l+ R1 (M1 (M1 (K1 r))) -> Right r ----- @@ -1580,11 +1602,13 @@ instance Generic [a] where type Rep [a] = Rep0List a - from [] = M1 (L1 (M1 U1))- from (h:t) = M1 (R1 (M1 (M1 (K1 h) :*: M1 (K1 t))))+ from x = M1 (case x of+ [] -> L1 (M1 U1)+ h:t -> R1 (M1 (M1 (K1 h) :*: M1 (K1 t)))) - to (M1 (L1 (M1 U1))) = []- to (M1 (R1 (M1 (M1 (K1 h) :*: M1 (K1 t))))) = h : t+ to (M1 x) = case x of+ L1 (M1 U1) -> []+ R1 (M1 (M1 (K1 h) :*: M1 (K1 t))) -> h : t ----- @@ -1594,11 +1618,13 @@ instance Generic (Maybe a) where type Rep (Maybe a) = Rep0Maybe a - from Nothing = M1 (L1 (M1 U1))- from (Just j) = M1 (R1 (M1 (M1 (K1 j))))+ from x = M1 (case x of+ Nothing -> L1 (M1 U1)+ Just j -> R1 (M1 (M1 (K1 j)))) - to (M1 (L1 (M1 U1))) = Nothing- to (M1 (R1 (M1 (M1 (K1 j))))) = Just j+ to (M1 x) = case x of+ L1 (M1 U1) -> Nothing+ R1 (M1 (M1 (K1 j))) -> Just j ----- @@ -1608,13 +1634,15 @@ instance Generic Ordering where type Rep Ordering = Rep0Ordering - from LT = M1 (L1 (M1 U1))- from EQ = M1 (R1 (L1 (M1 U1)))- from GT = M1 (R1 (R1 (M1 U1)))+ from x = M1 (case x of+ LT -> L1 (M1 U1)+ EQ -> R1 (L1 (M1 U1))+ GT -> R1 (R1 (M1 U1))) - to (M1 (L1 (M1 U1))) = LT- to (M1 (R1 (L1 (M1 U1)))) = EQ- to (M1 (R1 (R1 (M1 U1)))) = GT+ to (M1 x) = case x of+ L1 (M1 U1) -> LT+ R1 (L1 (M1 U1)) -> EQ+ R1 (R1 (M1 U1)) -> GT data D1Ordering data C1_0Ordering
src/Generics/Deriving/Monoid.hs view
@@ -34,6 +34,9 @@ gmemptydefault, gmappenddefault, + -- * Internal auxiliary class for GMonoid+ GMonoid'(..),+ -- ** Monoid {- | These functions can be used in a 'Monoid' instance. For example: @@ -52,6 +55,9 @@ -} memptydefault, mappenddefault,++ -- * Internal auxiliary class for Monoid+ Monoid'(..), -- * The Monoid module -- | This is exported for convenient access to the various wrapper types.
src/Generics/Deriving/Semigroup.hs view
@@ -19,6 +19,9 @@ -- * Default definition , gsappenddefault + -- * Internal semigroup class+ , GSemigroup'(..)+ ) where import Control.Applicative
src/Generics/Deriving/Show.hs view
@@ -22,6 +22,9 @@ -- * Default definition , gshowsPrecdefault + -- * Internal show class+ , GShow'(..)+ ) where import Control.Applicative (Const, ZipList)
src/Generics/Deriving/TH.hs view
@@ -449,7 +449,7 @@ makeTo1 :: Name -> Q Exp makeTo1 = makeFunCommon mkTo Generic1 -makeFunCommon :: (GenericClass -> Int -> Int -> Name -> [Con] -> [Q Match])+makeFunCommon :: (GenericClass -> Int -> Int -> Name -> [Con] -> Q Match) -> GenericClass -> Name -> Q Exp makeFunCommon maker gClass n = do i <- reifyDataInfo n@@ -597,64 +597,74 @@ Nothing -> conT rec0TypeName `appT` return ty mkCaseExp :: GenericClass -> Name -> [Con]- -> (GenericClass -> Int -> Int -> Name -> [Con] -> [Q Match])+ -> (GenericClass -> Int -> Int -> Name -> [Con] -> Q Match) -> Q Exp mkCaseExp gClass dt cs matchmaker = do val <- newName "val"- lam1E (varP val) $ caseE (varE val) $ matchmaker gClass 1 0 dt cs+ lam1E (varP val) $ caseE (varE val) [matchmaker gClass 1 0 dt cs] -mkFrom :: GenericClass -> Int -> Int -> Name -> [Con] -> [Q Match]-mkFrom _ _ _ dt [] = [errorFrom dt]-mkFrom gClass m i _ cs = zipWith (fromCon gClass wrapE (length cs)) [0..] cs+mkFrom :: GenericClass -> Int -> Int -> Name -> [Con] -> Q Match+mkFrom gClass m i dt cs = do+ y <- newName "y"+ match (varP y)+ (normalB $ conE m1DataName `appE` caseE (varE y) cases)+ [] where+ cases = case cs of+ [] -> [errorFrom dt]+ _ -> zipWith (fromCon gClass wrapE (length cs)) [0..] cs wrapE e = lrE m i e errorFrom :: Name -> Q Match errorFrom dt = match wildP- (normalB $ appE (conE m1DataName) $ varE errorValName `appE` stringE+ (normalB $ varE errorValName `appE` stringE ("No generic representation for empty datatype " ++ nameBase dt)) [] errorTo :: Name -> Q Match errorTo dt = match- (conP m1DataName [wildP])+ wildP (normalB $ varE errorValName `appE` stringE ("No values for empty datatype " ++ nameBase dt)) [] -mkTo :: GenericClass -> Int -> Int -> Name -> [Con] -> [Q Match]-mkTo _ _ _ dt [] = [errorTo dt]-mkTo gClass m i _ cs = zipWith (toCon gClass wrapP (length cs)) [0..] cs+mkTo :: GenericClass -> Int -> Int -> Name -> [Con] -> Q Match+mkTo gClass m i dt cs = do+ y <- newName "y"+ match (conP m1DataName [varP y])+ (normalB $ caseE (varE y) cases)+ [] where+ cases = case cs of+ [] -> [errorTo dt]+ _ -> zipWith (toCon gClass wrapP (length cs)) [0..] cs wrapP p = lrP m i p fromCon :: GenericClass -> (Q Exp -> Q Exp) -> Int -> Int -> Con -> Q Match fromCon _ wrap m i (NormalC cn []) = match (conP cn [])- (normalB $ appE (conE m1DataName)- $ wrap $ lrE m i $ conE m1DataName `appE` (conE u1DataName)) []+ (normalB $ wrap $ lrE m i $ conE m1DataName `appE` (conE u1DataName)) [] fromCon gClass wrap m i (NormalC cn _) = do (ts, gk) <- fmap shrink $ reifyConTys gClass cn fNames <- newNameList "f" $ length ts match (conP cn (map varP fNames))- (normalB $ appE (conE m1DataName) $ wrap $ lrE m i $ conE m1DataName `appE`+ (normalB $ wrap $ lrE m i $ conE m1DataName `appE` foldr1 prodE (zipWith (fromField gk) fNames ts)) [] fromCon _ wrap m i (RecC cn []) = match (conP cn [])- (normalB $ appE (conE m1DataName)- $ wrap $ lrE m i $ conE m1DataName `appE` (conE u1DataName)) []+ (normalB $ wrap $ lrE m i $ conE m1DataName `appE` (conE u1DataName)) [] fromCon gClass wrap m i (RecC cn _) = do (ts, gk) <- fmap shrink $ reifyConTys gClass cn fNames <- newNameList "f" $ length ts match (conP cn (map varP fNames))- (normalB $ appE (conE m1DataName) $ wrap $ lrE m i $ conE m1DataName `appE`+ (normalB $ wrap $ lrE m i $ conE m1DataName `appE` foldr1 prodE (zipWith (fromField gk) fNames ts)) [] fromCon gClass wrap m i (InfixC t1 cn t2) = fromCon gClass wrap m i (NormalC cn [t1,t2])@@ -705,27 +715,27 @@ toCon :: GenericClass -> (Q Pat -> Q Pat) -> Int -> Int -> Con -> Q Match toCon _ wrap m i (NormalC cn []) = match- (wrap $ conP m1DataName [lrP m i $ conP m1DataName [conP u1DataName []]])+ (wrap $ lrP m i $ conP m1DataName [conP u1DataName []]) (normalB $ conE cn) [] toCon gClass wrap m i (NormalC cn _) = do (ts, gk) <- fmap shrink $ reifyConTys gClass cn fNames <- newNameList "f" $ length ts match- (wrap $ conP m1DataName [lrP m i $ conP m1DataName- [foldr1 prod (zipWith (toField gk) fNames ts)]])+ (wrap $ lrP m i $ conP m1DataName+ [foldr1 prod (zipWith (toField gk) fNames ts)]) (normalB $ foldl appE (conE cn) (zipWith (\nr -> expandSyn >=> toConUnwC gk nr) fNames ts)) [] where prod x y = conP productDataName [x,y] toCon _ wrap m i (RecC cn []) = match- (wrap $ conP m1DataName [lrP m i $ conP m1DataName [conP u1DataName []]])+ (wrap $ lrP m i $ conP m1DataName [conP u1DataName []]) (normalB $ conE cn) [] toCon gClass wrap m i (RecC cn _) = do (ts, gk) <- fmap shrink $ reifyConTys gClass cn fNames <- newNameList "f" $ length ts match- (wrap $ conP m1DataName [lrP m i $ conP m1DataName- [foldr1 prod (zipWith (toField gk) fNames ts)]])+ (wrap $ lrP m i $ conP m1DataName+ [foldr1 prod (zipWith (toField gk) fNames ts)]) (normalB $ foldl appE (conE cn) (zipWith (\nr -> expandSyn >=> toConUnwC gk nr) fNames ts)) [] where prod x y = conP productDataName [x,y]@@ -865,13 +875,13 @@ -- types without kind annotations. instTys :: [Type] instTys = map (substNamesWithKinds (zip kindVarNames givenKinds'))- -- ^ Note that due to a GHC 7.8-specific bug- -- (see Note [Polykinded data families in Template Haskell]),- -- there may be more kind variable names than there are kinds- -- to substitute. But this is OK! If a kind is eta-reduced, it- -- means that is was not instantiated to something more specific,- -- so we need not substitute it. Using stealKindForType will- -- grab the correct kind.+ -- Note that due to a GHC 7.8-specific bug+ -- (see Note [Polykinded data families in Template Haskell]),+ -- there may be more kind variable names than there are kinds+ -- to substitute. But this is OK! If a kind is eta-reduced, it+ -- means that is was not instantiated to something more specific,+ -- so we need not substitute it. Using stealKindForType will+ -- grab the correct kind. $ zipWith stealKindForType tvbs (givenTys ++ xTys) #endif buildTypeInstanceFromTys gClass parentName instTys True
src/Generics/Deriving/Traversable.hs view
@@ -14,11 +14,14 @@ #endif module Generics.Deriving.Traversable (- -- * GTraversable class+ -- * Generic Traversable class GTraversable(..) -- * Default method , gtraversedefault++ -- * Internal Traversable class+ , GTraversable'(..) ) where
src/Generics/Deriving/Uniplate.hs view
@@ -32,6 +32,7 @@ -} module Generics.Deriving.Uniplate (+ -- * Generic Uniplate class Uniplate(..) -- * Derived functions@@ -51,6 +52,8 @@ , transformdefault , transformMdefault + -- * Internal Uniplate class+ , Uniplate'(..) ) where