generic-lens-core 2.0.0.0 → 2.1.0.0
raw patch · 6 files changed
+11/−6 lines, 6 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Data.Generics.Internal.Families.Changing: instance forall k (a :: k) (b :: k). (a Data.Type.Equality.~ b) => Data.Generics.Internal.Families.Changing.UnifyHead a b
- Data.Generics.Internal.Families.Changing: instance forall k1 k2 (gb :: k2) (g :: k1 -> k2) (b :: k1) (f :: k1 -> k2) (a :: k1). (gb Data.Type.Equality.~ g b, Data.Generics.Internal.Families.Changing.UnifyHead f g) => Data.Generics.Internal.Families.Changing.UnifyHead (f a) gb
- Data.Generics.Internal.Wrapped: instance (a Data.Type.Equality.~ c, b Data.Type.Equality.~ d) => Data.Generics.Internal.Wrapped.GWrapped (GHC.Generics.K1 i a) (GHC.Generics.K1 i b) c d
- Data.Generics.Product.Internal.Fields: instance (Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep s) Data.Type.Equality.~ 'GHC.Maybe.Just a, Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep t) Data.Type.Equality.~ 'GHC.Maybe.Just b, Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed s)) Data.Type.Equality.~ 'GHC.Maybe.Just a', Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed t)) Data.Type.Equality.~ 'GHC.Maybe.Just b', t Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer s a' b, s Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Product.Internal.Fields.Context field s t a b
- Data.Generics.Product.Internal.HList: instance (Data.Generics.Product.Internal.HList.GIsList l l' as as', Data.Generics.Product.Internal.HList.GIsList r r' bs bs', Data.Generics.Product.Internal.HList.Appending as bs cs as' bs' cs', cs Data.Type.Equality.~ (as Data.Generics.Product.Internal.HList.++ bs), cs' Data.Type.Equality.~ (as' Data.Generics.Product.Internal.HList.++ bs')) => Data.Generics.Product.Internal.HList.GIsList (l GHC.Generics.:*: r) (l' GHC.Generics.:*: r') cs cs'
- Data.Generics.Product.Internal.HList: instance (Data.Generics.Product.Internal.HList.IndexList (n GHC.TypeNats.- 1) as' bs' a b, as Data.Type.Equality.~ (x : as'), bs Data.Type.Equality.~ (x : bs')) => Data.Generics.Product.Internal.HList.IndexList n as bs a b
- Data.Generics.Product.Internal.HList: instance (as Data.Type.Equality.~ (a : as'), bs Data.Type.Equality.~ (b : as')) => Data.Generics.Product.Internal.HList.IndexList 0 as bs a b
- Data.Generics.Product.Internal.HList: instance forall k (pos :: GHC.Types.Nat) (a :: (k, *)) (xs :: [(k, *)]) (key :: k). (pos Data.Type.Equality.~ 0) => Data.Generics.Product.Internal.HList.Elem (a : xs) key pos a
- Data.Generics.Product.Internal.HList: instance forall k1 k2 (xs :: [(k2, *)]) (key :: k2) (i :: GHC.Types.Nat) (a :: k1) (pos :: GHC.Types.Nat) (x :: (k2, *)). (Data.Generics.Product.Internal.HList.Elem xs key i a, pos Data.Type.Equality.~ (i GHC.TypeNats.+ 1)) => Data.Generics.Product.Internal.HList.Elem (x : xs) key pos a
- Data.Generics.Product.Internal.Positions: instance (Data.Generics.Product.Internal.Positions.ErrorUnless i s ((0 Data.Generics.Product.Internal.Positions.<? i) Data.Type.Bool.&& (i GHC.TypeNats.<=? Data.Generics.Product.Internal.Positions.Size (GHC.Generics.Rep s))), Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep s) Data.Type.Equality.~ 'GHC.Maybe.Just a, Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep t) Data.Type.Equality.~ 'GHC.Maybe.Just b, Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep (Data.Generics.Internal.Families.Changing.Indexed s)) Data.Type.Equality.~ 'GHC.Maybe.Just a', Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep (Data.Generics.Internal.Families.Changing.Indexed t)) Data.Type.Equality.~ 'GHC.Maybe.Just b', t Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer s a' b, s Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Product.Internal.Positions.Context i s t a b
- Data.Generics.Product.Internal.Subtype: instance forall k (leaf :: k -> *) (field :: GHC.Types.Symbol) (p :: GHC.Generics.SourceUnpackedness) (f :: GHC.Generics.SourceStrictness) (b :: GHC.Generics.DecidedStrictness) (t :: k -> *) (sup :: k -> *). (leaf Data.Type.Equality.~ GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just field) p f b) t, Data.Generics.Product.Internal.Subtype.GSmashLeaf leaf sup (Data.Generics.Internal.Families.Has.HasTotalFieldP field sup)) => Data.Generics.Product.Internal.Subtype.GSmash (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just field) p f b) t) sup
- Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k2) (l :: k1 -> *) (l' :: k1 -> *) a b (r :: k1 -> *) (r' :: k1 -> *). (Data.Generics.Product.Internal.Types.GHasTypes ch l l' a b, Data.Generics.Product.Internal.Types.GHasTypes ch r r' a b) => Data.Generics.Product.Internal.Types.GHasTypes ch (l GHC.Generics.:*: r) (l' GHC.Generics.:*: r') a b
- Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k2) (l :: k1 -> *) (l' :: k1 -> *) a b (r :: k1 -> *) (r' :: k1 -> *). (Data.Generics.Product.Internal.Types.GHasTypes ch l l' a b, Data.Generics.Product.Internal.Types.GHasTypes ch r r' a b) => Data.Generics.Product.Internal.Types.GHasTypes ch (l GHC.Generics.:+: r) (l' GHC.Generics.:+: r') a b
- Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k2) (s :: k1 -> *) (t :: k1 -> *) a b m (meta :: GHC.Generics.Meta). Data.Generics.Product.Internal.Types.GHasTypes ch s t a b => Data.Generics.Product.Internal.Types.GHasTypes ch (GHC.Generics.M1 m meta s) (GHC.Generics.M1 m meta t) a b
- Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k2) a b. Data.Generics.Product.Internal.Types.GHasTypes ch GHC.Generics.U1 GHC.Generics.U1 a b
- Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k2) a b. Data.Generics.Product.Internal.Types.GHasTypes ch GHC.Generics.V1 GHC.Generics.V1 a b
- Data.Generics.Sum.Internal.Constructors: instance (Data.Generics.Sum.Internal.Constructors.ErrorUnless ctor s (Data.Generics.Internal.Families.Has.HasCtorP ctor (GHC.Generics.Rep s)), Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep s) a, Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed s)) a', Data.Generics.Sum.Internal.Constructors.GAsConstructor ctor (GHC.Generics.Rep s) (GHC.Generics.Rep t) a b, t Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer s a' b, Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed t)) b', s Data.Type.Equality.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Sum.Internal.Constructors.Context ctor s t a b
+ Data.Generics.Internal.Families.Changing: instance forall k (a :: k) (b :: k). (a GHC.Types.~ b) => Data.Generics.Internal.Families.Changing.UnifyHead a b
+ Data.Generics.Internal.Families.Changing: instance forall k1 k2 (gb :: k1) (g :: k2 -> k1) (b :: k2) (f :: k2 -> k1) (a :: k2). (gb GHC.Types.~ g b, Data.Generics.Internal.Families.Changing.UnifyHead f g) => Data.Generics.Internal.Families.Changing.UnifyHead (f a) gb
+ Data.Generics.Internal.Wrapped: instance (a GHC.Types.~ c, b GHC.Types.~ d) => Data.Generics.Internal.Wrapped.GWrapped (GHC.Generics.K1 i a) (GHC.Generics.K1 i b) c d
+ Data.Generics.Product.Internal.Fields: instance (Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep s) GHC.Types.~ 'GHC.Maybe.Just a, Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep t) GHC.Types.~ 'GHC.Maybe.Just b, Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed s)) GHC.Types.~ 'GHC.Maybe.Just a', Data.Generics.Internal.Families.Has.HasTotalFieldP field (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed t)) GHC.Types.~ 'GHC.Maybe.Just b', t GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer s a' b, s GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Product.Internal.Fields.Context field s t a b
+ Data.Generics.Product.Internal.HList: instance (Data.Generics.Product.Internal.HList.GIsList l l' as as', Data.Generics.Product.Internal.HList.GIsList r r' bs bs', Data.Generics.Product.Internal.HList.Appending as bs cs as' bs' cs', cs GHC.Types.~ (as Data.Generics.Product.Internal.HList.++ bs), cs' GHC.Types.~ (as' Data.Generics.Product.Internal.HList.++ bs')) => Data.Generics.Product.Internal.HList.GIsList (l GHC.Generics.:*: r) (l' GHC.Generics.:*: r') cs cs'
+ Data.Generics.Product.Internal.HList: instance (Data.Generics.Product.Internal.HList.IndexList (n GHC.TypeNats.- 1) as' bs' a b, as GHC.Types.~ (x : as'), bs GHC.Types.~ (x : bs')) => Data.Generics.Product.Internal.HList.IndexList n as bs a b
+ Data.Generics.Product.Internal.HList: instance (as GHC.Types.~ (a : as'), bs GHC.Types.~ (b : as')) => Data.Generics.Product.Internal.HList.IndexList 0 as bs a b
+ Data.Generics.Product.Internal.HList: instance forall k (pos :: GHC.Types.Nat) (a :: (k, *)) (xs :: [(k, *)]) (key :: k). (pos GHC.Types.~ 0) => Data.Generics.Product.Internal.HList.Elem (a : xs) key pos a
+ Data.Generics.Product.Internal.HList: instance forall k1 k2 (xs :: [(k1, *)]) (key :: k1) (i :: GHC.Types.Nat) (a :: k2) (pos :: GHC.Types.Nat) (x :: (k1, *)). (Data.Generics.Product.Internal.HList.Elem xs key i a, pos GHC.Types.~ (i GHC.TypeNats.+ 1)) => Data.Generics.Product.Internal.HList.Elem (x : xs) key pos a
+ Data.Generics.Product.Internal.Positions: instance (Data.Generics.Product.Internal.Positions.ErrorUnless i s ((0 Data.Generics.Product.Internal.Positions.<? i) Data.Type.Bool.&& (i GHC.TypeNats.<=? Data.Generics.Product.Internal.Positions.Size (GHC.Generics.Rep s))), Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep s) GHC.Types.~ 'GHC.Maybe.Just a, Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep t) GHC.Types.~ 'GHC.Maybe.Just b, Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep (Data.Generics.Internal.Families.Changing.Indexed s)) GHC.Types.~ 'GHC.Maybe.Just a', Data.Generics.Internal.Families.Has.HasTotalPositionP i (Data.Generics.Product.Internal.Positions.CRep (Data.Generics.Internal.Families.Changing.Indexed t)) GHC.Types.~ 'GHC.Maybe.Just b', t GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer s a' b, s GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Product.Internal.Positions.Context i s t a b
+ Data.Generics.Product.Internal.Subtype: class GSmash sub sup
+ Data.Generics.Product.Internal.Subtype: class GUpcast (sub :: Type -> Type) (sup :: Type -> Type)
+ Data.Generics.Product.Internal.Subtype: instance forall k (leaf :: k -> *) (field :: GHC.Types.Symbol) (p :: GHC.Generics.SourceUnpackedness) (f :: GHC.Generics.SourceStrictness) (b :: GHC.Generics.DecidedStrictness) (t :: k -> *) (sup :: k -> *). (leaf GHC.Types.~ GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just field) p f b) t, Data.Generics.Product.Internal.Subtype.GSmashLeaf leaf sup (Data.Generics.Internal.Families.Has.HasTotalFieldP field sup)) => Data.Generics.Product.Internal.Subtype.GSmash (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just field) p f b) t) sup
+ Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k1) (l :: k2 -> *) (l' :: k2 -> *) a b (r :: k2 -> *) (r' :: k2 -> *). (Data.Generics.Product.Internal.Types.GHasTypes ch l l' a b, Data.Generics.Product.Internal.Types.GHasTypes ch r r' a b) => Data.Generics.Product.Internal.Types.GHasTypes ch (l GHC.Generics.:*: r) (l' GHC.Generics.:*: r') a b
+ Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k1) (l :: k2 -> *) (l' :: k2 -> *) a b (r :: k2 -> *) (r' :: k2 -> *). (Data.Generics.Product.Internal.Types.GHasTypes ch l l' a b, Data.Generics.Product.Internal.Types.GHasTypes ch r r' a b) => Data.Generics.Product.Internal.Types.GHasTypes ch (l GHC.Generics.:+: r) (l' GHC.Generics.:+: r') a b
+ Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k1) (s :: k2 -> *) (t :: k2 -> *) a b m (meta :: GHC.Generics.Meta). Data.Generics.Product.Internal.Types.GHasTypes ch s t a b => Data.Generics.Product.Internal.Types.GHasTypes ch (GHC.Generics.M1 m meta s) (GHC.Generics.M1 m meta t) a b
+ Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k1) a b. Data.Generics.Product.Internal.Types.GHasTypes ch GHC.Generics.U1 GHC.Generics.U1 a b
+ Data.Generics.Product.Internal.Types: instance forall k1 k2 (ch :: k1) a b. Data.Generics.Product.Internal.Types.GHasTypes ch GHC.Generics.V1 GHC.Generics.V1 a b
+ Data.Generics.Sum.Internal.Constructors: instance (Data.Generics.Sum.Internal.Constructors.ErrorUnless ctor s (Data.Generics.Internal.Families.Has.HasCtorP ctor (GHC.Generics.Rep s)), Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep s) a, Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed s)) a', Data.Generics.Sum.Internal.Constructors.GAsConstructor ctor (GHC.Generics.Rep s) (GHC.Generics.Rep t) a b, t GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer s a' b, Data.Generics.Sum.Internal.Constructors.GAsConstructor' ctor (GHC.Generics.Rep (Data.Generics.Internal.Families.Changing.Indexed t)) b', s GHC.Types.~ Data.Generics.Internal.Families.Changing.Infer t b' a) => Data.Generics.Sum.Internal.Constructors.Context ctor s t a b
- Data.GenericLens.Internal: Rec :: K1 R a x -> Rec a x
+ Data.GenericLens.Internal: Rec :: K1 R a x -> Rec (p :: Type) a x
- Data.GenericLens.Internal: [unRec] :: Rec a x -> K1 R a x
+ Data.GenericLens.Internal: [unRec] :: Rec (p :: Type) a x -> K1 R a x
- Data.Generics.Product.Internal.Fields: type Context' field s a = (Generic s, ErrorUnless field s (CollectField field (Rep s)), GLens' (HasTotalFieldPSym field) (Rep s) a, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the " :<>: QuoteType field :<>: 'Text " field of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
+ Data.Generics.Product.Internal.Fields: type Context' field s a = (Generic s, ErrorUnless field s (CollectField field (Rep s)), GLens' (HasTotalFieldPSym field) (Rep s) a, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the " :<>: QuoteType field :<>: 'Text " field of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
- Data.Generics.Product.Internal.Fields: type Context0 field s t a b = (Generic s, Generic t, GLens (HasTotalFieldPSym field) (Rep s) (Rep t) a b, ErrorUnless field s (CollectField field (Rep s)), Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the " :<>: QuoteType field :<>: 'Text " field of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
+ Data.Generics.Product.Internal.Fields: type Context0 field s t a b = (Generic s, Generic t, GLens (HasTotalFieldPSym field) (Rep s) (Rep t) a b, ErrorUnless field s (CollectField field (Rep s)), Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the " :<>: QuoteType field :<>: 'Text " field of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
- Data.Generics.Product.Internal.Fields: type Context_ field s t a b = (HasTotalFieldP field (Rep s) ~ 'Just a, HasTotalFieldP field (Rep t) ~ 'Just b, UnifyHead s t, UnifyHead t s)
+ Data.Generics.Product.Internal.Fields: type Context_ field s t a b = (HasTotalFieldP field (Rep s) ~ 'Just a, HasTotalFieldP field (Rep t) ~ 'Just b, UnifyHead s t, UnifyHead t s)
- Data.Generics.Product.Internal.Param: type Context n s t a b = (GenericN s, GenericN t, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic traversal of the type parameter at position " :<>: QuoteType n, 'Text "of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint), s ~ Infer t (P n b 'PTag) a, t ~ Infer s (P n a 'PTag) b, Error ((ArgCount s) <=? n) n (ArgCount s) s, a ~ ArgAt s n, b ~ ArgAt t n, GHasTypes ChGeneric (RepN s) (RepN t) (Param n a) (Param n b))
+ Data.Generics.Product.Internal.Param: type Context n s t a b = (GenericN s, GenericN t, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic traversal of the type parameter at position " :<>: QuoteType n, 'Text "of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint), s ~ Infer t (P n b 'PTag) a, t ~ Infer s (P n a 'PTag) b, Error ((ArgCount s) <=? n) n (ArgCount s) s, a ~ ArgAt s n, b ~ ArgAt t n, GHasTypes ChGeneric (RepN s) (RepN t) (Param n a) (Param n b))
- Data.Generics.Product.Internal.Positions: type Context' (i :: Nat) s a = (Generic s, ErrorUnless i s (0 <? i && i <=? Size (Rep s)), Coercible (Rep s) (CRep s), GLens' (HasTotalPositionPSym i) (CRep s) a, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the field at", 'Text "position " :<>: QuoteType i :<>: 'Text " of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint))
+ Data.Generics.Product.Internal.Positions: type Context' (i :: Nat) s a = (Generic s, ErrorUnless i s (0 <? i && i <=? Size (Rep s)), Coercible (Rep s) (CRep s), GLens' (HasTotalPositionPSym i) (CRep s) a, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the field at", 'Text "position " :<>: QuoteType i :<>: 'Text " of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint))
- Data.Generics.Product.Internal.Positions: type Context0 i s t a b = (Generic s, Generic t, GLens (HasTotalPositionPSym i) (CRep s) (CRep t) a b, Coercible (CRep s) (Rep s), Coercible (CRep t) (Rep t), Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the field at", 'Text "position " :<>: QuoteType i :<>: 'Text " of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint))
+ Data.Generics.Product.Internal.Positions: type Context0 i s t a b = (Generic s, Generic t, GLens (HasTotalPositionPSym i) (CRep s) (CRep t) a b, Coercible (CRep s) (Rep s), Coercible (CRep t) (Rep t), Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic lens focusing on the field at", 'Text "position " :<>: QuoteType i :<>: 'Text " of type " :<>: QuoteType a :<>: 'Text " in " :<>: QuoteType s]) (() :: Constraint))
- Data.Generics.Sum.Internal.Constructors: type Context0 ctor s t a b = (Generic s, Generic t, GAsConstructor ctor (Rep s) (Rep t) a b, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic prism focusing on the " :<>: QuoteType ctor :<>: 'Text " constructor of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
+ Data.Generics.Sum.Internal.Constructors: type Context0 ctor s t a b = (Generic s, Generic t, GAsConstructor ctor (Rep s) (Rep t) a b, Defined (Rep s) (NoGeneric s '[ 'Text "arising from a generic prism focusing on the " :<>: QuoteType ctor :<>: 'Text " constructor of type " :<>: QuoteType a, 'Text "in " :<>: QuoteType s]) (() :: Constraint))
Files
- ChangeLog.md +3/−0
- generic-lens-core.cabal +1/−1
- src/Data/GenericLens/Internal.hs +4/−0
- src/Data/Generics/Product/Internal/Positions.hs +0/−1
- src/Data/Generics/Product/Internal/Subtype.hs +2/−3
- src/Data/Generics/Product/Internal/Types.hs +1/−1
ChangeLog.md view
@@ -1,2 +1,5 @@+## generic-lens-core-2.1.0.0 (2021-01-25)+- Expose Data.Generics.Product.Internal.Subtype (#127, Tom Harding)+ ## generic-lens-core-2.0.0.0 (2020-02-11) - Initial release
generic-lens-core.cabal view
@@ -1,5 +1,5 @@ name: generic-lens-core-version: 2.0.0.0+version: 2.1.0.0 synopsis: Generically derive traversals, lenses and prisms. description: This library uses GHC.Generics to derive efficient optics (traversals, lenses and prisms) for algebraic data types in a type-directed way, with a focus on good type inference and error messages when possible. .
src/Data/GenericLens/Internal.hs view
@@ -26,6 +26,8 @@ , module Data.Generics.Internal.Profunctor.Iso , module Data.Generics.Internal.Profunctor.Lens , module Data.Generics.Internal.Profunctor.Prism++ , module Data.Generics.Product.Internal.Subtype ) where import Data.Generics.Internal.Families@@ -40,3 +42,5 @@ import Data.Generics.Internal.Profunctor.Iso import Data.Generics.Internal.Profunctor.Lens import Data.Generics.Internal.Profunctor.Prism++import Data.Generics.Product.Internal.Subtype
src/Data/Generics/Product/Internal/Positions.hs view
@@ -40,7 +40,6 @@ , derived' ) where -import Data.Generics.Internal.Families.Has (Pos) import Data.Kind (Type, Constraint) import Data.Type.Bool (If, Not, type (&&)) import GHC.Generics
src/Data/Generics/Product/Internal/Subtype.hs view
@@ -29,8 +29,8 @@ module Data.Generics.Product.Internal.Subtype ( Context- , gsmash- , gupcast+ , GSmash (..)+ , GUpcast (..) ) where import Data.Generics.Internal.Families@@ -41,7 +41,6 @@ import GHC.TypeLits (Symbol) import Data.Generics.Internal.Profunctor.Lens (view) -import GHC.Generics (Generic (Rep)) import GHC.TypeLits (TypeError, ErrorMessage (..)) import Data.Kind (Constraint) import Data.Generics.Internal.Errors
src/Data/Generics/Product/Internal/Types.hs view
@@ -18,7 +18,7 @@ import Data.Kind import Data.Int (Int8, Int16, Int32, Int64)-import Data.Word (Word, Word8, Word16, Word32, Word64)+import Data.Word (Word8, Word16, Word32, Word64) import qualified Data.Text as T import GHC.Generics