large-generics 0.2.2 → 0.2.3
raw patch · 2 files changed
+17/−8 lines, 2 filesdep ~basedep ~primitivePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, primitive
API changes (from Hackage documentation)
- Data.Record.Generic: Comp :: f (g p) -> (:.:) (f :: l -> Type) (g :: k -> l) (p :: k)
- Data.Record.Generic: I :: a -> I a
- Data.Record.Generic: K :: a -> K a (b :: k)
- Data.Record.Generic: infixr 7 :.:
- Data.Record.Generic: mapII :: (a -> b) -> I a -> I b
- Data.Record.Generic: mapIII :: (a -> b -> c) -> I a -> I b -> I c
- Data.Record.Generic: mapIIK :: forall {k} a b c (d :: k). (a -> b -> c) -> I a -> I b -> K c d
- Data.Record.Generic: mapIK :: forall {k} a b (c :: k). (a -> b) -> I a -> K b c
- Data.Record.Generic: mapIKI :: forall {k} a b c (d :: k). (a -> b -> c) -> I a -> K b d -> I c
- Data.Record.Generic: mapIKK :: forall {k1} {k2} a b c (d :: k1) (e :: k2). (a -> b -> c) -> I a -> K b d -> K c e
- Data.Record.Generic: mapKI :: forall {k} a b (c :: k). (a -> b) -> K a c -> I b
- Data.Record.Generic: mapKII :: forall {k} a b c (d :: k). (a -> b -> c) -> K a d -> I b -> I c
- Data.Record.Generic: mapKIK :: forall {k1} {k2} a b c (d :: k1) (e :: k2). (a -> b -> c) -> K a d -> I b -> K c e
- Data.Record.Generic: mapKK :: forall {k1} {k2} a b (c :: k1) (d :: k2). (a -> b) -> K a c -> K b d
- Data.Record.Generic: mapKKI :: forall {k1} {k2} a b c (d :: k1) (e :: k2). (a -> b -> c) -> K a d -> K b e -> I c
- Data.Record.Generic: mapKKK :: forall {k1} {k2} {k3} a b c (d :: k1) (e :: k2) (f :: k3). (a -> b -> c) -> K a d -> K b e -> K c f
- Data.Record.Generic: newtype () => I a
- Data.Record.Generic: newtype () => K a (b :: k)
- Data.Record.Generic: unComp :: forall {l} {k} f (g :: k -> l) (p :: k). (f :.: g) p -> f (g p)
- Data.Record.Generic: unI :: I a -> a
- Data.Record.Generic: unK :: forall {k} a (b :: k). K a b -> a
+ Data.Record.Generic.Transform: ($dmstandardInterpretation) :: forall (x :: k). (StandardInterpretation d f, Coercible (Interpreted (d f) (Uninterpreted x)) (f x)) => Proxy d -> (Interpreted (d f) (Uninterpreted x) -> f x, f x -> Interpreted (d f) (Uninterpreted x))
- Data.Record.Generic: Rep :: SmallArray (f Any) -> Rep f a
+ Data.Record.Generic: Rep :: SmallArray (f (Any :: Type)) -> Rep (f :: Type -> Type) a
- Data.Record.Generic: [FieldMetadata] :: KnownSymbol name => Proxy name -> FieldStrictness -> FieldMetadata x
+ Data.Record.Generic: [FieldMetadata] :: forall (name :: Symbol) x. KnownSymbol name => Proxy name -> FieldStrictness -> FieldMetadata x
- Data.Record.Generic: class (field ~ '(FieldName field, FieldType field), KnownSymbol (FieldName field)) => IsField field
+ Data.Record.Generic: class (field ~ '(FieldName field, FieldType field), KnownSymbol FieldName field) => IsField (field :: (Symbol, Type))
- Data.Record.Generic: data () => Dict (c :: k -> Constraint) (a :: k)
+ Data.Record.Generic: data Dict (c :: k -> Constraint) (a :: k)
- Data.Record.Generic: data () => Proxy (t :: k)
+ Data.Record.Generic: data Proxy (t :: k)
- Data.Record.Generic: dict :: (Generic a, Constraints a c) => Proxy c -> Rep (Dict c) a
+ Data.Record.Generic: dict :: forall (c :: Type -> Constraint). (Generic a, Constraints a c) => Proxy c -> Rep (Dict c) a
- Data.Record.Generic: newtype () => ( (f :: k -> Type) -.-> (g :: k -> Type) ) (a :: k)
+ Data.Record.Generic: newtype ( (f :: k -> Type) -.-> (g :: k -> Type) ) (a :: k)
- Data.Record.Generic: newtype Rep f a
+ Data.Record.Generic: newtype Rep (f :: Type -> Type) a
- Data.Record.Generic: recordFieldNames :: Metadata a -> Rep (K String) a
+ Data.Record.Generic: recordFieldNames :: Metadata a -> Rep (K String :: Type -> Type) a
- Data.Record.Generic: type Constraints a :: (Type -> Constraint) -> Constraint;
+ Data.Record.Generic: type Constraints a :: Type -> Constraint -> Constraint;
- Data.Record.Generic: type family FieldType (field :: (Symbol, Type)) :: Type
+ Data.Record.Generic: type family FieldType (field :: (Symbol, Type))
- Data.Record.Generic.GHC: [GhcFieldMetadata] :: forall (f :: Meta) (a :: Type). Selector f => Proxy f -> GhcFieldMetadata a
+ Data.Record.Generic.GHC: [GhcFieldMetadata] :: forall (f :: Meta) a. Selector f => Proxy f -> GhcFieldMetadata a
- Data.Record.Generic.GHC: data GhcFieldMetadata :: Type -> Type
+ Data.Record.Generic.GHC: data GhcFieldMetadata a
- Data.Record.Generic.JSON: gparseJSON :: forall a. (Generic a, Constraints a FromJSON) => Value -> Parser a
+ Data.Record.Generic.JSON: gparseJSON :: (Generic a, Constraints a FromJSON) => Value -> Parser a
- Data.Record.Generic.JSON: gtoJSON :: forall a. (Generic a, Constraints a ToJSON) => a -> Value
+ Data.Record.Generic.JSON: gtoJSON :: (Generic a, Constraints a ToJSON) => a -> Value
- Data.Record.Generic.Lens.VL: [HKRecordLens] :: Lens' (tbl f) (Interpret (d f) x) -> HKRecordLens d f tbl x
+ Data.Record.Generic.Lens.VL: [HKRecordLens] :: forall (tbl :: (Type -> Type) -> Type) (f :: Type -> Type) (d :: (Type -> Type) -> Type) x. Lens' (tbl f) (Interpret (d f) x) -> HKRecordLens d f tbl x
- Data.Record.Generic.Lens.VL: [RegularField] :: RegularField f (f x)
+ Data.Record.Generic.Lens.VL: [RegularField] :: forall (f :: Type -> Type) x1. RegularField f (f x1)
- Data.Record.Generic.Lens.VL: [RegularRecordLens] :: Lens' (tbl f) (f x) -> RegularRecordLens tbl f x
+ Data.Record.Generic.Lens.VL: [RegularRecordLens] :: forall (tbl :: (Type -> Type) -> Type) (f :: Type -> Type) x. Lens' (tbl f) (f x) -> RegularRecordLens tbl f x
- Data.Record.Generic.Lens.VL: [RepLens] :: Lens' (Rep f a) (f x) -> RepLens f a x
+ Data.Record.Generic.Lens.VL: [RepLens] :: forall (f :: Type -> Type) a x. Lens' (Rep f a) (f x) -> RepLens f a x
- Data.Record.Generic.Lens.VL: [SimpleRecordLens] :: Lens' a b -> SimpleRecordLens a b
+ Data.Record.Generic.Lens.VL: [SimpleRecordLens] :: forall a b. Lens' a b -> SimpleRecordLens a b
- Data.Record.Generic.Lens.VL: class IsRegularField f x
+ Data.Record.Generic.Lens.VL: class IsRegularField (f :: Type -> Type) x
- Data.Record.Generic.Lens.VL: data HKRecordLens d (f :: Type -> Type) tbl x
+ Data.Record.Generic.Lens.VL: data HKRecordLens (d :: Type -> Type -> Type) (f :: Type -> Type) (tbl :: Type -> Type -> Type) x
- Data.Record.Generic.Lens.VL: data RegularField f x
+ Data.Record.Generic.Lens.VL: data RegularField (f :: Type -> Type) x
- Data.Record.Generic.Lens.VL: data RegularRecordLens tbl f x
+ Data.Record.Generic.Lens.VL: data RegularRecordLens (tbl :: Type -> Type -> Type) (f :: Type -> Type) x
- Data.Record.Generic.Lens.VL: data RepLens f a x
+ Data.Record.Generic.Lens.VL: data RepLens (f :: Type -> Type) a x
- Data.Record.Generic.Lens.VL: interpretedLens :: Lens' (Interpret d x) (Interpreted d x)
+ Data.Record.Generic.Lens.VL: interpretedLens :: forall d x f. Functor f => (Interpreted d x -> f (Interpreted d x)) -> Interpret d x -> f (Interpret d x)
- Data.Record.Generic.Lens.VL: lensesForHKRecord :: forall d tbl f. (Generic (tbl f), Generic (tbl Uninterpreted), HasNormalForm (d f) (tbl f) (tbl Uninterpreted)) => Proxy d -> Rep (HKRecordLens d f tbl) (tbl Uninterpreted)
+ Data.Record.Generic.Lens.VL: lensesForHKRecord :: forall (d :: (Type -> Type) -> Type) tbl (f :: Type -> Type). (Generic (tbl f), Generic (tbl (Uninterpreted :: Type -> Type)), HasNormalForm (d f) (tbl f) (tbl (Uninterpreted :: Type -> Type))) => Proxy d -> Rep (HKRecordLens d f tbl) (tbl (Uninterpreted :: Type -> Type))
- Data.Record.Generic.Lens.VL: lensesForRegularRecord :: forall d tbl f. (Generic (tbl (RegularRecordLens tbl f)), Generic (tbl Uninterpreted), Generic (tbl f), HasNormalForm (d (RegularRecordLens tbl f)) (tbl (RegularRecordLens tbl f)) (tbl Uninterpreted), HasNormalForm (d f) (tbl f) (tbl Uninterpreted), Constraints (tbl Uninterpreted) (IsRegularField Uninterpreted), StandardInterpretation d (RegularRecordLens tbl f), StandardInterpretation d f) => Proxy d -> tbl (RegularRecordLens tbl f)
+ Data.Record.Generic.Lens.VL: lensesForRegularRecord :: forall (d :: (Type -> Type) -> Type) tbl (f :: Type -> Type). (Generic (tbl (RegularRecordLens tbl f)), Generic (tbl (Uninterpreted :: Type -> Type)), Generic (tbl f), HasNormalForm (d (RegularRecordLens tbl f)) (tbl (RegularRecordLens tbl f)) (tbl (Uninterpreted :: Type -> Type)), HasNormalForm (d f) (tbl f) (tbl (Uninterpreted :: Type -> Type)), Constraints (tbl (Uninterpreted :: Type -> Type)) (IsRegularField (Uninterpreted :: Type -> Type)), StandardInterpretation d (RegularRecordLens tbl f), StandardInterpretation d f) => Proxy d -> tbl (RegularRecordLens tbl f)
- Data.Record.Generic.Lens.VL: lensesForSimpleRecord :: forall a. Generic a => Rep (SimpleRecordLens a) a
+ Data.Record.Generic.Lens.VL: lensesForSimpleRecord :: Generic a => Rep (SimpleRecordLens a) a
- Data.Record.Generic.Lens.VL: normalForm1Lens :: HasNormalForm (d f) (x f) (x Uninterpreted) => Proxy d -> Lens' (Rep I (x f)) (Rep (Interpret (d f)) (x Uninterpreted))
+ Data.Record.Generic.Lens.VL: normalForm1Lens :: forall (d :: (Type -> Type) -> Type) (f :: Type -> Type) (x :: (Type -> Type) -> Type). HasNormalForm (d f) (x f) (x (Uninterpreted :: Type -> Type)) => Proxy d -> Lens' (Rep I (x f)) (Rep (Interpret (d f)) (x (Uninterpreted :: Type -> Type)))
- Data.Record.Generic.Lens.VL: repLenses :: Generic a => Rep (RepLens f a) a
+ Data.Record.Generic.Lens.VL: repLenses :: forall a (f :: Type -> Type). Generic a => Rep (RepLens f a) a
- Data.Record.Generic.Lens.VL: standardInterpretationLens :: forall d f x. StandardInterpretation d f => Proxy d -> Lens' (Interpret (d f) (Uninterpreted x)) (f x)
+ Data.Record.Generic.Lens.VL: standardInterpretationLens :: forall (d :: (Type -> Type) -> Type) (f :: Type -> Type) x. StandardInterpretation d f => Proxy d -> Lens' (Interpret (d f) (Uninterpreted x)) (f x)
- Data.Record.Generic.Rep: Rep :: SmallArray (f Any) -> Rep f a
+ Data.Record.Generic.Rep: Rep :: SmallArray (f (Any :: Type)) -> Rep (f :: Type -> Type) a
- Data.Record.Generic.Rep: allIndices :: forall a. Generic a => Rep (Index a) a
+ Data.Record.Generic.Rep: allIndices :: Generic a => Rep (Index a) a
- Data.Record.Generic.Rep: ap :: forall f g a. Generic a => Rep (f -.-> g) a -> Rep f a -> Rep g a
+ Data.Record.Generic.Rep: ap :: forall (f :: Type -> Type) (g :: Type -> Type) a. Generic a => Rep (f -.-> g) a -> Rep f a -> Rep g a
- Data.Record.Generic.Rep: collapse :: Rep (K a) b -> [a]
+ Data.Record.Generic.Rep: collapse :: Rep (K a :: Type -> Type) b -> [a]
- Data.Record.Generic.Rep: map :: Generic a => (forall x. f x -> g x) -> Rep f a -> Rep g a
+ Data.Record.Generic.Rep: map :: Generic a => (forall x. () => f x -> g x) -> Rep f a -> Rep g a
- Data.Record.Generic.Rep: mapM :: (Applicative m, Generic a) => (forall x. f x -> m (g x)) -> Rep f a -> m (Rep g a)
+ Data.Record.Generic.Rep: mapM :: (Applicative m, Generic a) => (forall x. () => f x -> m (g x)) -> Rep f a -> m (Rep g a)
- Data.Record.Generic.Rep: mapWithIndex :: forall f g a. Generic a => (forall x. Index a x -> f x -> g x) -> Rep f a -> Rep g a
+ Data.Record.Generic.Rep: mapWithIndex :: forall f g a. Generic a => (forall x. () => Index a x -> f x -> g x) -> Rep f a -> Rep g a
- Data.Record.Generic.Rep: newtype Rep f a
+ Data.Record.Generic.Rep: newtype Rep (f :: Type -> Type) a
- Data.Record.Generic.Rep: pure :: forall f a. Generic a => (forall x. f x) -> Rep f a
+ Data.Record.Generic.Rep: pure :: forall f a. Generic a => (forall x. () => f x) -> Rep f a
- Data.Record.Generic.Rep: sequenceA :: Applicative m => Rep (m :.: f) a -> m (Rep f a)
+ Data.Record.Generic.Rep: sequenceA :: forall m (f :: Type -> Type) a. Applicative m => Rep (m :.: f) a -> m (Rep f a)
- Data.Record.Generic.Rep: zip :: Generic a => Rep f a -> Rep g a -> Rep (Product f g) a
+ Data.Record.Generic.Rep: zip :: forall a (f :: Type -> Type) (g :: Type -> Type). Generic a => Rep f a -> Rep g a -> Rep (Product f g) a
- Data.Record.Generic.Rep: zipWith :: Generic a => (forall x. f x -> g x -> h x) -> Rep f a -> Rep g a -> Rep h a
+ Data.Record.Generic.Rep: zipWith :: Generic a => (forall x. () => f x -> g x -> h x) -> Rep f a -> Rep g a -> Rep h a
- Data.Record.Generic.Rep: zipWithM :: forall m f g h a. (Generic a, Applicative m) => (forall x. f x -> g x -> m (h x)) -> Rep f a -> Rep g a -> m (Rep h a)
+ Data.Record.Generic.Rep: zipWithM :: forall m f g h a. (Generic a, Applicative m) => (forall x. () => f x -> g x -> m (h x)) -> Rep f a -> Rep g a -> m (Rep h a)
- Data.Record.Generic.Rep.Internal: Rep :: SmallArray (f Any) -> Rep f a
+ Data.Record.Generic.Rep.Internal: Rep :: SmallArray (f (Any :: Type)) -> Rep (f :: Type -> Type) a
- Data.Record.Generic.Rep.Internal: collapse :: Rep (K a) b -> [a]
+ Data.Record.Generic.Rep.Internal: collapse :: Rep (K a :: Type -> Type) b -> [a]
- Data.Record.Generic.Rep.Internal: map' :: (forall x. f x -> g x) -> Rep f a -> Rep g a
+ Data.Record.Generic.Rep.Internal: map' :: (forall x. () => f x -> g x) -> Rep f a -> Rep g a
- Data.Record.Generic.Rep.Internal: newtype Rep f a
+ Data.Record.Generic.Rep.Internal: newtype Rep (f :: Type -> Type) a
- Data.Record.Generic.Rep.Internal: noInlineUnsafeCo :: forall a b. a -> b
+ Data.Record.Generic.Rep.Internal: noInlineUnsafeCo :: a -> b
- Data.Record.Generic.Rep.Internal: sequenceA :: Applicative m => Rep (m :.: f) a -> m (Rep f a)
+ Data.Record.Generic.Rep.Internal: sequenceA :: forall m (f :: Type -> Type) a. Applicative m => Rep (m :.: f) a -> m (Rep f a)
- Data.Record.Generic.Rep.Internal: toListAny :: Rep f a -> [f Any]
+ Data.Record.Generic.Rep.Internal: toListAny :: Rep f a -> [f (Any :: Type)]
- Data.Record.Generic.Rep.Internal: unsafeFromList :: [b] -> Rep (K b) a
+ Data.Record.Generic.Rep.Internal: unsafeFromList :: [b] -> Rep (K b :: Type -> Type) a
- Data.Record.Generic.Rep.Internal: unsafeFromListAny :: [f Any] -> Rep f a
+ Data.Record.Generic.Rep.Internal: unsafeFromListAny :: [f (Any :: Type)] -> Rep f a
- Data.Record.Generic.SOP: [Field] :: f (FieldType field) -> Field f field
+ Data.Record.Generic.SOP: [Field] :: forall (f :: Type -> Type) (field :: (Symbol, Type)). f (FieldType field) -> Field f field
- Data.Record.Generic.SOP: fromSOP :: SListI (MetadataOf a) => NP (Field f) (MetadataOf a) -> Rep f a
+ Data.Record.Generic.SOP: fromSOP :: forall a (f :: Type -> Type). SListI (MetadataOf a) => NP (Field f) (MetadataOf a) -> Rep f a
- Data.Record.Generic.SOP: glowerBound :: (Generic a, All LowerBound xs, Code a ~ '[xs]) => a
+ Data.Record.Generic.SOP: glowerBound :: forall a (xs :: [Type]). (Generic a, All LowerBound xs, Code a ~ '[xs]) => a
- Data.Record.Generic.SOP: toDictAll :: forall f a c. (Generic a, Constraints a (Compose c f), All IsField (MetadataOf a), forall nm x. c (f x) => c (Field f '(nm, x))) => Proxy f -> Proxy a -> Proxy c -> Dict (All (Compose c (Field f))) (MetadataOf a)
+ Data.Record.Generic.SOP: toDictAll :: forall (f :: Type -> Type) a (c :: Type -> Constraint). (Generic a, Constraints a (Compose c f), All IsField (MetadataOf a), forall (nm :: Symbol) x. c (f x) => c (Field f '(nm, x))) => Proxy f -> Proxy a -> Proxy c -> Dict (All (Compose c (Field f))) (MetadataOf a)
- Data.Record.Generic.SOP: toSOP :: SListI (MetadataOf a) => Rep f a -> Maybe (NP (Field f) (MetadataOf a))
+ Data.Record.Generic.SOP: toSOP :: forall a (f :: Type -> Type). SListI (MetadataOf a) => Rep f a -> Maybe (NP (Field f) (MetadataOf a))
- Data.Record.Generic.Show: gshowsPrec :: forall a. (Generic a, Constraints a Show) => Int -> a -> ShowS
+ Data.Record.Generic.Show: gshowsPrec :: (Generic a, Constraints a Show) => Int -> a -> ShowS
- Data.Record.Generic.Transform: Interpret :: Interpreted d x -> Interpret d x
+ Data.Record.Generic.Transform: Interpret :: Interpreted d x -> Interpret (d :: dom) x
- Data.Record.Generic.Transform: class StandardInterpretation d f
+ Data.Record.Generic.Transform: class StandardInterpretation (d :: k -> Type -> dom) (f :: k -> Type)
- Data.Record.Generic.Transform: data Uninterpreted x
+ Data.Record.Generic.Transform: data Uninterpreted (x :: k)
- Data.Record.Generic.Transform: denormalize :: HasNormalForm d x y => Proxy d -> Proxy y -> Rep (Interpret d) y -> Rep I x
+ Data.Record.Generic.Transform: denormalize :: forall {dom} (d :: dom) x y. HasNormalForm d x y => Proxy d -> Proxy y -> Rep (Interpret d) y -> Rep I x
- Data.Record.Generic.Transform: denormalize1 :: forall d f x. HasNormalForm (d f) (x f) (x Uninterpreted) => Proxy d -> Rep (Interpret (d f)) (x Uninterpreted) -> Rep I (x f)
+ Data.Record.Generic.Transform: denormalize1 :: forall {k} {dom} (d :: (k -> Type) -> dom) (f :: k -> Type) x. HasNormalForm (d f) (x f) (x (Uninterpreted :: k -> Type)) => Proxy d -> Rep (Interpret (d f)) (x (Uninterpreted :: k -> Type)) -> Rep I (x f)
- Data.Record.Generic.Transform: fromStandardInterpretation :: forall d f x. StandardInterpretation d f => Proxy d -> Interpret (d f) (Uninterpreted x) -> f x
+ Data.Record.Generic.Transform: fromStandardInterpretation :: forall {k} {dom} (d :: (k -> Type) -> dom) f (x :: k). StandardInterpretation d f => Proxy d -> Interpret (d f) (Uninterpreted x) -> f x
- Data.Record.Generic.Transform: liftInterpreted :: (Interpreted dx x -> Interpreted dy y) -> Interpret dx x -> Interpret dy y
+ Data.Record.Generic.Transform: liftInterpreted :: forall {dom1} {dom2} (dx :: dom1) x (dy :: dom2) y. (Interpreted dx x -> Interpreted dy y) -> Interpret dx x -> Interpret dy y
- Data.Record.Generic.Transform: liftInterpretedA2 :: Applicative m => (Interpreted dx x -> Interpreted dy y -> m (Interpreted dz z)) -> Interpret dx x -> Interpret dy y -> m (Interpret dz z)
+ Data.Record.Generic.Transform: liftInterpretedA2 :: forall {dom1} {dom2} {dom3} m (dx :: dom1) x (dy :: dom2) y (dz :: dom3) z. Applicative m => (Interpreted dx x -> Interpreted dy y -> m (Interpreted dz z)) -> Interpret dx x -> Interpret dy y -> m (Interpret dz z)
- Data.Record.Generic.Transform: newtype Interpret d x
+ Data.Record.Generic.Transform: newtype Interpret (d :: dom) x
- Data.Record.Generic.Transform: normalize :: HasNormalForm d x y => Proxy d -> Proxy y -> Rep I x -> Rep (Interpret d) y
+ Data.Record.Generic.Transform: normalize :: forall {dom} (d :: dom) x y. HasNormalForm d x y => Proxy d -> Proxy y -> Rep I x -> Rep (Interpret d) y
- Data.Record.Generic.Transform: normalize1 :: forall d f x. HasNormalForm (d f) (x f) (x Uninterpreted) => Proxy d -> Rep I (x f) -> Rep (Interpret (d f)) (x Uninterpreted)
+ Data.Record.Generic.Transform: normalize1 :: forall {k} {dom} (d :: (k -> Type) -> dom) (f :: k -> Type) x. HasNormalForm (d f) (x f) (x (Uninterpreted :: k -> Type)) => Proxy d -> Rep I (x f) -> Rep (Interpret (d f)) (x (Uninterpreted :: k -> Type))
- Data.Record.Generic.Transform: standardInterpretation :: (StandardInterpretation d f, Coercible (Interpreted (d f) (Uninterpreted x)) (f x)) => Proxy d -> (Interpreted (d f) (Uninterpreted x) -> f x, f x -> Interpreted (d f) (Uninterpreted x))
+ Data.Record.Generic.Transform: standardInterpretation :: forall (x :: k). StandardInterpretation d f => Proxy d -> (Interpreted (d f) (Uninterpreted x) -> f x, f x -> Interpreted (d f) (Uninterpreted x))
- Data.Record.Generic.Transform: toStandardInterpretation :: forall d f x. StandardInterpretation d f => Proxy d -> f x -> Interpret (d f) (Uninterpreted x)
+ Data.Record.Generic.Transform: toStandardInterpretation :: forall {k} {dom} (d :: (k -> Type) -> dom) f (x :: k). StandardInterpretation d f => Proxy d -> f x -> Interpret (d f) (Uninterpreted x)
- Data.Record.Generic.Transform: type HasNormalForm d x y = InterpretTo d (MetadataOf x) (MetadataOf y)
+ Data.Record.Generic.Transform: type HasNormalForm (d :: dom) x y = InterpretTo d MetadataOf x MetadataOf y
- Data.Record.Generic.Transform: type family IfEqual x y (r :: k) :: k
+ Data.Record.Generic.Transform: type family IfEqual (x :: t) (y :: t) (r :: k) :: k
Files
- CHANGELOG.md +4/−0
- large-generics.cabal +13/−8
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for large-generics +## 0.2.3 -- 2025-07-19++* Support ghc up to 9.12+ ## 0.2.2 -- 2024-05-30 * Support ghc 9.6 (and drop ghc <= 8.8)
large-generics.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: large-generics-version: 0.2.2+version: 0.2.3 synopsis: Generic programming API for large-records and large-anon description: The large-generics package offers a style of generic programming inspired by generics-sop, but optimized for@@ -12,8 +12,14 @@ author: Edsko de Vries maintainer: edsko@well-typed.com category: Generics-extra-source-files: CHANGELOG.md-tested-with: GHC ==8.10.7 || ==9.2.8 || ==9.4.8 || ==9.6.4+extra-doc-files: CHANGELOG.md+tested-with: GHC ==8.10.7+ GHC ==9.2.8+ GHC ==9.4.8+ GHC ==9.6.7+ GHC ==9.8.4+ GHC ==9.10.2+ GHC ==9.12.2 library exposed-modules:@@ -39,18 +45,16 @@ ghc-options: -Wall -Wredundant-constraints+ -Wunused-packages hs-source-dirs: src build-depends:- base >= 4.14 && < 4.19+ base >= 4.14 && < 4.22 , aeson >= 1.4.4 && < 2.3 , deepseq >= 1.4.4 && < 1.6 , generics-sop >= 0.5 && < 0.6 , sop-core >= 0.5 && < 0.6- , primitive >= 0.8 && < 0.10-- if impl(ghc >= 8.10)- ghc-options: -Wunused-packages+ , primitive >= 0.7.3 && < 0.10 test-suite test-large-generics type:@@ -74,6 +78,7 @@ ghc-options: -Wall -Wredundant-constraints+ -Wunused-packages hs-source-dirs: test build-depends: