beam-large-records 0.1.1 → 0.1.2
raw patch · 2 files changed
+16/−8 lines, 2 filesdep −record-dot-preprocessordep −sop-coredep ~basedep ~textPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: record-dot-preprocessor, sop-core
Dependency ranges changed: base, text
API changes (from Hackage documentation)
- Data.Record.Beam: class DbSettingsI be db x
+ Data.Record.Beam: class DbSettingsI be (db :: Type -> Type -> Type) x
- Data.Record.Beam: class TableLensesI outer f x
+ Data.Record.Beam: class TableLensesI (outer :: Type -> Type -> Type) (f :: Type -> Type) x
- Data.Record.Beam: class WithConstrainedFieldsI c x
+ Data.Record.Beam: class WithConstrainedFieldsI (c :: Type -> Constraint) x
- Data.Record.Beam: class ZipBeamFieldsI (a :: Type)
+ Data.Record.Beam: class ZipBeamFieldsI a
- Data.Record.Beam: type GAutoLargeDbSettings be db = (Generic (db Uninterpreted), Generic (db (DatabaseEntity be db)), HasNormalForm (DefaultInterpretation (DatabaseEntity be db)) (db (DatabaseEntity be db)) (db Uninterpreted), Constraints (db Uninterpreted) (DbSettingsI be db))
+ Data.Record.Beam: type GAutoLargeDbSettings be (db :: Type -> Type -> Type) = (Generic db Uninterpreted :: Type -> Type, Generic db DatabaseEntity be db, HasNormalForm DefaultInterpretation DatabaseEntity be db db DatabaseEntity be db db Uninterpreted :: Type -> Type, Constraints db Uninterpreted :: Type -> Type DbSettingsI be db)
- Data.Record.Beam: type GFromLargeBackendRow be tbl = (Generic (tbl Identity), Generic (tbl Uninterpreted), HasNormalForm (BeamInterpretation Identity) (tbl Identity) (tbl Uninterpreted), Constraints (tbl Uninterpreted) (FromBackendRowI be))
+ Data.Record.Beam: type GFromLargeBackendRow be (tbl :: Type -> Type -> Type) = (Generic tbl Identity, Generic tbl Uninterpreted :: Type -> Type, HasNormalForm BeamInterpretation Identity tbl Identity tbl Uninterpreted :: Type -> Type, Constraints tbl Uninterpreted :: Type -> Type FromBackendRowI be)
- Data.Record.Beam: type GLargeDatabaseLenses outer db f = (Generic (db (TableLens f outer)), Generic (db Uninterpreted), Generic (db f), HasNormalForm (DefaultInterpretation (TableLens f outer)) (db (TableLens f outer)) (db Uninterpreted), HasNormalForm (DefaultInterpretation f) (db f) (db Uninterpreted), Constraints (db Uninterpreted) (DbLensesI outer f))
+ Data.Record.Beam: type GLargeDatabaseLenses (outer :: Type -> Type -> Type) (db :: Type -> Type -> Type) (f :: Type -> Type) = (Generic db TableLens f outer, Generic db Uninterpreted :: Type -> Type, Generic db f, HasNormalForm DefaultInterpretation TableLens f outer db TableLens f outer db Uninterpreted :: Type -> Type, HasNormalForm DefaultInterpretation f db f db Uninterpreted :: Type -> Type, Constraints db Uninterpreted :: Type -> Type DbLensesI outer f)
- Data.Record.Beam: type GLargeFieldsFulfillConstraint tbl c = (Generic (tbl (HasConstraint c)), Generic (tbl Uninterpreted), HasNormalForm (BeamInterpretation (HasConstraint c)) (tbl (HasConstraint c)) (tbl Uninterpreted), Constraints (tbl Uninterpreted) (WithConstrainedFieldsI c))
+ Data.Record.Beam: type GLargeFieldsFulfillConstraint (tbl :: Type -> Type -> Type) (c :: Type -> Constraint) = (Generic tbl HasConstraint c, Generic tbl Uninterpreted :: Type -> Type, HasNormalForm BeamInterpretation HasConstraint c tbl HasConstraint c tbl Uninterpreted :: Type -> Type, Constraints tbl Uninterpreted :: Type -> Type WithConstrainedFieldsI c)
- Data.Record.Beam: type GLargeTableLenses outer tbl f = (Generic (tbl (Lenses outer f)), Generic (tbl Uninterpreted), Generic (tbl f), HasNormalForm (BeamInterpretation (Lenses outer f)) (tbl (Lenses outer f)) (tbl Uninterpreted), HasNormalForm (BeamInterpretation f) (tbl f) (tbl Uninterpreted), Constraints (tbl Uninterpreted) (TableLensesI outer f))
+ Data.Record.Beam: type GLargeTableLenses (outer :: Type -> Type -> Type) (tbl :: Type -> Type -> Type) (f :: Type -> Type) = (Generic tbl Lenses outer f, Generic tbl Uninterpreted :: Type -> Type, Generic tbl f, HasNormalForm BeamInterpretation Lenses outer f tbl Lenses outer f tbl Uninterpreted :: Type -> Type, HasNormalForm BeamInterpretation f tbl f tbl Uninterpreted :: Type -> Type, Constraints tbl Uninterpreted :: Type -> Type TableLensesI outer f)
- Data.Record.Beam: type GLargeTableSkeleton tbl = (Generic (tbl Ignored), Generic (tbl Uninterpreted), Constraints (tbl Uninterpreted) TblSkeletonI, HasNormalForm (BeamInterpretation Ignored) (tbl Ignored) (tbl Uninterpreted))
+ Data.Record.Beam: type GLargeTableSkeleton (tbl :: Type -> Type -> Type) = (Generic tbl Ignored, Generic tbl Uninterpreted :: Type -> Type, Constraints tbl Uninterpreted :: Type -> Type TblSkeletonI, HasNormalForm BeamInterpretation Ignored tbl Ignored tbl Uninterpreted :: Type -> Type)
- Data.Record.Beam: type GZipLargeDatabase db f g h = (Generic (db f), Generic (db g), Generic (db h), Generic (db Uninterpreted), Constraints (db Uninterpreted) ZipTablesI, HasNormalForm (DefaultInterpretation f) (db f) (db Uninterpreted), HasNormalForm (DefaultInterpretation g) (db g) (db Uninterpreted), HasNormalForm (DefaultInterpretation h) (db h) (db Uninterpreted))
+ Data.Record.Beam: type GZipLargeDatabase (db :: Type -> Type -> Type) (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type) = (Generic db f, Generic db g, Generic db h, Generic db Uninterpreted :: Type -> Type, Constraints db Uninterpreted :: Type -> Type ZipTablesI, HasNormalForm DefaultInterpretation f db f db Uninterpreted :: Type -> Type, HasNormalForm DefaultInterpretation g db g db Uninterpreted :: Type -> Type, HasNormalForm DefaultInterpretation h db h db Uninterpreted :: Type -> Type)
- Data.Record.Beam: type GZipLargeTables table f g h = (Generic (table f), Generic (table g), Generic (table h), Generic (table Uninterpreted), Constraints (table Uninterpreted) ZipBeamFieldsI, HasNormalForm (BeamInterpretation f) (table f) (table Uninterpreted), HasNormalForm (BeamInterpretation g) (table g) (table Uninterpreted), HasNormalForm (BeamInterpretation h) (table h) (table Uninterpreted))
+ Data.Record.Beam: type GZipLargeTables (table :: Type -> Type -> Type) (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type) = (Generic table f, Generic table g, Generic table h, Generic table Uninterpreted :: Type -> Type, Constraints table Uninterpreted :: Type -> Type ZipBeamFieldsI, HasNormalForm BeamInterpretation f table f table Uninterpreted :: Type -> Type, HasNormalForm BeamInterpretation g table g table Uninterpreted :: Type -> Type, HasNormalForm BeamInterpretation h table h table Uninterpreted :: Type -> Type)
Files
- CHANGELOG.md +5/−0
- beam-large-records.cabal +11/−8
CHANGELOG.md view
@@ -1,5 +1,10 @@ # Revision history for beam-large-records +## 0.1.2 -- 2025-07-19++* Relax bounds (Gabriele Sales)+* Drop unused dependencies+ ## 0.1.1 -- 2025-03-11 * First released version
beam-large-records.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: beam-large-records-version: 0.1.1+version: 0.1.2 synopsis: Integration of large-records with beam-core. description: This package provides the necessary instances that make it possible to use records defined with large-records as@@ -14,7 +14,8 @@ tested-with: GHC ==8.10.7 GHC ==9.2.8 GHC ==9.4.8- GHC ==9.6.6+ GHC ==9.6.7+ GHC ==9.8.4 source-repository head type: git@@ -36,12 +37,10 @@ build-depends: -- lower bound on beam-core is necessary -- see https://github.com/haskell-beam/beam/issues/585- base >= 4.14 && < 4.19+ base >= 4.14 && < 4.20 , beam-core >= 0.10.3.0 && < 0.11 , large-generics >= 0.2 && < 0.3 , microlens >= 0.4 && < 0.5- , sop-core >= 0.5 && < 0.6- , text >= 1.2 && < 2.1 hs-source-dirs: src default-language:@@ -49,6 +48,7 @@ ghc-options: -Wall -Wredundant-constraints+ -Wunused-packages -fmax-refinement-hole-fits=0 -- The proxying from GHC generics to LR generics needs orphans -Wno-orphans@@ -79,17 +79,20 @@ , beam-core , beam-large-records , beam-sqlite- , ghc-prim- , large-generics , large-records , microlens- , record-dot-preprocessor , record-hasfield , sqlite-simple , tasty , tasty-hunit , text , time++ -- dependencies needed when using large-records+ -- (cannot enable -Wunused-packages for tihs reason)+ , ghc-prim+ , large-generics+ , record-hasfield ghc-options: -Wall -Wredundant-constraints