Safe Haskell	None
Language	Haskell2010

Data.Record.Beam

Documentation

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)) Source #

class WithConstrainedFieldsI (c :: Type -> Constraint) x Source #

Minimal complete definition

withConstrainedFieldsI

Instances

Instances details

FieldsFulfillConstraintNullable c tbl => WithConstrainedFieldsI c (tbl (Nullable (Uninterpreted :: Type -> Type))) Source #
Instance details Defined in Data.Record.Beam.Constraints Methods withConstrainedFieldsI :: Proxy c -> Interpret (BeamInterpretation (HasConstraint c)) (tbl (Nullable (Uninterpreted :: Type -> Type)))
FieldsFulfillConstraint c tbl => WithConstrainedFieldsI c (tbl (Uninterpreted :: Type -> Type)) Source #
Instance details Defined in Data.Record.Beam.Constraints Methods withConstrainedFieldsI :: Proxy c -> Interpret (BeamInterpretation (HasConstraint c)) (tbl (Uninterpreted :: Type -> Type))
c x => WithConstrainedFieldsI c (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.Constraints Methods withConstrainedFieldsI :: Proxy c -> Interpret (BeamInterpretation (HasConstraint c)) (Uninterpreted x)

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)) Source #

class DbSettingsI be (db :: (Type -> Type) -> Type) x Source #

Minimal complete definition

dbSettingsI

Instances

Instances details

(IsDatabaseEntity be x, DatabaseEntityDefaultRequirements be x) => DbSettingsI be db (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.DbSettings Methods dbSettingsI :: GhcFieldMetadata (Uninterpreted x) -> Interpret (DefaultInterpretation (DatabaseEntity be db)) (Uninterpreted x)

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)) Source #

class FromBackendRowI be x Source #

Minimal complete definition

fromBackendRowI, valuesNeededI

Instances

Instances details

FromBackendRow be (tbl (Nullable Identity)) => FromBackendRowI be (tbl (Nullable (Uninterpreted :: Type -> Type))) Source #
Instance details Defined in Data.Record.Beam.FromBackendRow Methods fromBackendRowI :: FromBackendRowM be (Interpret (BeamInterpretation Identity) (tbl (Nullable (Uninterpreted :: Type -> Type)))) valuesNeededI :: Proxy be -> K Int (tbl (Nullable (Uninterpreted :: Type -> Type)))
FromBackendRow be (tbl Identity) => FromBackendRowI be (tbl (Uninterpreted :: Type -> Type)) Source #
Instance details Defined in Data.Record.Beam.FromBackendRow Methods fromBackendRowI :: FromBackendRowM be (Interpret (BeamInterpretation Identity) (tbl (Uninterpreted :: Type -> Type))) valuesNeededI :: Proxy be -> K Int (tbl (Uninterpreted :: Type -> Type))
FromBackendRow be x => FromBackendRowI be (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.FromBackendRow Methods fromBackendRowI :: FromBackendRowM be (Interpret (BeamInterpretation Identity) (Uninterpreted x)) valuesNeededI :: Proxy be -> K Int (Uninterpreted x)

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)) Source #

class TableLensesI (outer :: (Type -> Type) -> Type) (f :: Type -> Type) x Source #

Minimal complete definition

tableLensesI

Instances

Instances details

(Generic (sub (Nullable (Lenses outer f))), Generic (sub (Nullable f)), GTableLenses outer f (Rep (sub (Nullable f))) (Rep (sub (Nullable (Lenses outer f))))) => TableLensesI outer f (sub (Nullable (Uninterpreted :: Type -> Type))) Source #
Instance details Defined in Data.Record.Beam.Lenses Methods tableLensesI :: Lens' (outer f) (Interpreted (BeamInterpretation f) (sub (Nullable (Uninterpreted :: Type -> Type)))) -> Interpret (BeamInterpretation (Lenses outer f)) (sub (Nullable (Uninterpreted :: Type -> Type)))
(Generic (sub (Lenses outer f)), Generic (sub f), GTableLenses outer f (Rep (sub f)) (Rep (sub (Lenses outer f)))) => TableLensesI outer f (sub (Uninterpreted :: Type -> Type)) Source #
Instance details Defined in Data.Record.Beam.Lenses Methods tableLensesI :: Lens' (outer f) (Interpreted (BeamInterpretation f) (sub (Uninterpreted :: Type -> Type))) -> Interpret (BeamInterpretation (Lenses outer f)) (sub (Uninterpreted :: Type -> Type))
Generic (outer f) => TableLensesI outer f (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.Lenses Methods tableLensesI :: Lens' (outer f) (Interpreted (BeamInterpretation f) (Uninterpreted x)) -> Interpret (BeamInterpretation (Lenses outer f)) (Uninterpreted x)

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)) Source #

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))) Source #

class TblSkeletonI a Source #

Minimal complete definition

tblSkeletonI

Instances

Instances details

Beamable tbl => TblSkeletonI (tbl (Nullable (Uninterpreted :: Type -> Type))) Source #
Instance details Defined in Data.Record.Beam.Skeleton Methods tblSkeletonI :: Interpret (BeamInterpretation Ignored) (tbl (Nullable (Uninterpreted :: Type -> Type)))
Beamable tbl => TblSkeletonI (tbl (Uninterpreted :: Type -> Type)) Source #
Instance details Defined in Data.Record.Beam.Skeleton Methods tblSkeletonI :: Interpret (BeamInterpretation Ignored) (tbl (Uninterpreted :: Type -> Type))
TblSkeletonI (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.Skeleton Methods tblSkeletonI :: Interpret (BeamInterpretation Ignored) (Uninterpreted x)

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))) Source #

class ZipTablesI a Source #

Minimal complete definition

zipTablesI

Instances

Instances details

ZipTablesI (Uninterpreted (DomainTypeEntity a)) Source #
Instance details Defined in Data.Record.Beam.ZipDatabase Methods zipTablesI :: Applicative m => Proxy be -> (forall tbl. (IsDatabaseEntity be tbl, DatabaseEntityRegularRequirements be tbl) => f tbl -> g tbl -> m (h tbl)) -> Interpret (DefaultInterpretation f) (Uninterpreted (DomainTypeEntity a)) -> Interpret (DefaultInterpretation g) (Uninterpreted (DomainTypeEntity a)) -> m (Interpret (DefaultInterpretation h) (Uninterpreted (DomainTypeEntity a)))
Table tbl => ZipTablesI (Uninterpreted (TableEntity tbl)) Source #
Instance details Defined in Data.Record.Beam.ZipDatabase Methods zipTablesI :: Applicative m => Proxy be -> (forall tbl0. (IsDatabaseEntity be tbl0, DatabaseEntityRegularRequirements be tbl0) => f tbl0 -> g tbl0 -> m (h tbl0)) -> Interpret (DefaultInterpretation f) (Uninterpreted (TableEntity tbl)) -> Interpret (DefaultInterpretation g) (Uninterpreted (TableEntity tbl)) -> m (Interpret (DefaultInterpretation h) (Uninterpreted (TableEntity tbl)))
Beamable tbl => ZipTablesI (Uninterpreted (ViewEntity tbl)) Source #
Instance details Defined in Data.Record.Beam.ZipDatabase Methods zipTablesI :: Applicative m => Proxy be -> (forall tbl0. (IsDatabaseEntity be tbl0, DatabaseEntityRegularRequirements be tbl0) => f tbl0 -> g tbl0 -> m (h tbl0)) -> Interpret (DefaultInterpretation f) (Uninterpreted (ViewEntity tbl)) -> Interpret (DefaultInterpretation g) (Uninterpreted (ViewEntity tbl)) -> m (Interpret (DefaultInterpretation h) (Uninterpreted (ViewEntity tbl)))

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))) Source #

class ZipBeamFieldsI a Source #

Minimal complete definition

zipBeamFieldsI

Instances

Instances details

Beamable table => ZipBeamFieldsI (table (Nullable (Uninterpreted :: Type -> Type))) Source #
Instance details Defined in Data.Record.Beam.ZipTables Methods zipBeamFieldsI :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall x. Columnar' f x -> Columnar' g x -> m (Columnar' h x)) -> Interpret (BeamInterpretation f) (table (Nullable (Uninterpreted :: Type -> Type))) -> Interpret (BeamInterpretation g) (table (Nullable (Uninterpreted :: Type -> Type))) -> m (Interpret (BeamInterpretation h) (table (Nullable (Uninterpreted :: Type -> Type))))
Beamable table => ZipBeamFieldsI (table (Uninterpreted :: Type -> Type)) Source #
Instance details Defined in Data.Record.Beam.ZipTables Methods zipBeamFieldsI :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall x. Columnar' f x -> Columnar' g x -> m (Columnar' h x)) -> Interpret (BeamInterpretation f) (table (Uninterpreted :: Type -> Type)) -> Interpret (BeamInterpretation g) (table (Uninterpreted :: Type -> Type)) -> m (Interpret (BeamInterpretation h) (table (Uninterpreted :: Type -> Type)))
ZipBeamFieldsI (Uninterpreted x) Source #
Instance details Defined in Data.Record.Beam.ZipTables Methods zipBeamFieldsI :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall x0. Columnar' f x0 -> Columnar' g x0 -> m (Columnar' h x0)) -> Interpret (BeamInterpretation f) (Uninterpreted x) -> Interpret (BeamInterpretation g) (Uninterpreted x) -> m (Interpret (BeamInterpretation h) (Uninterpreted x))