napkin-1.0.0
Safe HaskellNone
LanguageGHC2021

Napkin.Metadata.Types

Documentation

class DataTypeForBackend bk t where #

Methods

dbType :: DataType bk t #

Instances

Instances details
DataTypeForBackend Postgres UUID # 
Instance details

Defined in Napkin.Metadata.Migrations

Methods

dbType :: DataType Postgres UUID #

DataTypeForBackend Sqlite UUID # 
Instance details

Defined in Napkin.Metadata.Migrations

Methods

dbType :: DataType Sqlite UUID #

DataTypeForBackend bk UUID => DataTypeForBackend bk SpecRunId # 
Instance details

Defined in Napkin.Metadata.Migrations

Methods

dbType :: DataType bk SpecRunId #

BeamSqlBackend bk => DataTypeForBackend bk SpecTableName # 
Instance details

Defined in Napkin.Metadata.Migrations

Methods

dbType :: DataType bk SpecTableName #

BeamSqlBackend bk => DataTypeForBackend bk (Ref b) # 
Instance details

Defined in Napkin.Metadata.Migrations

Methods

dbType :: DataType bk (Ref b) #

class BeamMigrateSqlBackend be => DefaultMigrationBackend be (m :: Type -> Type) where #

Methods

defaultMigrationBackend :: BeamMigrationBackend be m #

Instances

Instances details
DefaultMigrationBackend Postgres Pg # 
Instance details

Defined in Napkin.Metadata.Types

Methods

defaultMigrationBackend :: BeamMigrationBackend Postgres Pg #

DefaultMigrationBackend Sqlite SqliteM # 
Instance details

Defined in Napkin.Metadata.Types

Methods

defaultMigrationBackend :: BeamMigrationBackend Sqlite SqliteM #

type SpecRunEntryId = PrimaryKey SpecRunT Identity #

newtype MetadataDb (f :: Type -> Type) #

Constructors

MetadataDb 

Fields

Instances

Instances details
Database be MetadataDb # 
Instance details

Defined in Napkin.Metadata.Types

Methods

zipTables :: Applicative m => Proxy be -> (forall tbl. (IsDatabaseEntity be tbl, DatabaseEntityRegularRequirements be tbl) => f tbl -> g tbl -> m (h tbl)) -> MetadataDb f -> MetadataDb g -> m (MetadataDb h) #

Generic (MetadataDb f) # 
Instance details

Defined in Napkin.Metadata.Types

Associated Types

type Rep (MetadataDb f) 
Instance details

Defined in Napkin.Metadata.Types

type Rep (MetadataDb f) = D1 ('MetaData "MetadataDb" "Napkin.Metadata.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "MetadataDb" 'PrefixI 'True) (S1 ('MetaSel ('Just "specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunT)))))

Methods

from :: MetadataDb f -> Rep (MetadataDb f) x #

to :: Rep (MetadataDb f) x -> MetadataDb f #

type Rep (MetadataDb f) # 
Instance details

Defined in Napkin.Metadata.Types

type Rep (MetadataDb f) = D1 ('MetaData "MetadataDb" "Napkin.Metadata.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "MetadataDb" 'PrefixI 'True) (S1 ('MetaSel ('Just "specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunT)))))

metadataDb :: MetadataDbBackend be => CheckedDatabaseSettings be MetadataDb #

type MetadataDbBackend be = (BeamSqlBackend be, BeamHasInsertOnConflict be, HasDataTypeCreatedCheck (BeamMigrateSqlBackendDataTypeSyntax be), IsCustomSqlSyntax (Sql92ExpressionSyntax (BeamSqlBackendSyntax be)), IsSql2008BigIntDataTypeSyntax (BeamMigrateSqlBackendDataTypeSyntax be), HasDefaultSqlDataType be (Ref Table), HasDefaultSqlDataType be SpecTableName, HasDefaultSqlDataType be DepChain, HasDefaultSqlDataType be BkStatistics, HasDefaultSqlDataType be UUID, HasDefaultSqlDataType be Pipeline, HasDefaultSqlDataType be AppName, HasDefaultSqlDataType be Pennies, HasDefaultSqlDataType be UTCTime, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Ref Table), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) SpecTableName, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe DepChain), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe BkStatistics), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe Int64), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) Int64, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe UTCTime), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe Text), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) UUID, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) Pipeline, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) AppName, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) (Maybe Pennies), HasSqlValueSyntax (BeamSqlBackendValueSyntax be) UTCTime, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) NominalDiffTime, HasSqlValueSyntax (BeamSqlBackendValueSyntax be) Text, HasSqlEqualityCheck be UUID, HasSqlEqualityCheck be Pipeline, HasSqlEqualityCheck be AppName, HasSqlEqualityCheck be (Ref Table), HasSqlEqualityCheck be SpecTableName, FromBackendRow be (Ref Table), FromBackendRow be SpecTableName, FromBackendRow be DepChain, FromBackendRow be BkStatistics, FromBackendRow be UUID, FromBackendRow be Pipeline, FromBackendRow be AppName, FromBackendRow be Pennies, FromBackendRow be Int64, FromBackendRow be SqlNull, FromBackendRow be UTCTime, FromBackendRow be Text, FromBackendRow be NominalDiffTime, FromBackendRow be Scientific, HasQBuilder be, DataTypeForBackend be UUID, DataTypeForBackend be SpecRunId, BeamMigrateSqlBackend be, BeamMigrateOnlySqlBackend be, HasSqlDiffTime be) #

type MonadMetadataDb be (m :: Type -> Type) = (MonadBeam be m, MetadataDbBackend be) #

class IsCustomSqlSyntax (Sql92ExpressionSyntax (BeamSqlBackendSyntax be)) => HasSqlDiffTime be where #

Methods

diffUTCTime_ :: forall s ctx. QGenExpr ctx be s UTCTime -> QGenExpr ctx be s UTCTime -> QGenExpr ctx be s NominalDiffTime #

Instances

Instances details
HasSqlDiffTime Postgres # 
Instance details

Defined in Napkin.Metadata.Types

Methods

diffUTCTime_ :: forall s ctx. QGenExpr ctx Postgres s UTCTime -> QGenExpr ctx Postgres s UTCTime -> QGenExpr ctx Postgres s NominalDiffTime #

HasSqlDiffTime Sqlite # 
Instance details

Defined in Napkin.Metadata.Types

Methods

diffUTCTime_ :: forall s ctx. QGenExpr ctx Sqlite s UTCTime -> QGenExpr ctx Sqlite s UTCTime -> QGenExpr ctx Sqlite s NominalDiffTime #

Orphan instances

Show SpecRunEntryId # 
Instance details

Methods

showsPrec :: Int -> SpecRunEntryId -> ShowS #

show :: SpecRunEntryId -> String #

showList :: [SpecRunEntryId] -> ShowS #

Table SpecRunT # 
Instance details

Associated Types

data PrimaryKey SpecRunT f 
Instance details

Defined in Napkin.Metadata.Types

data PrimaryKey SpecRunT f = SpecRunEntryId (C f UUID)

Methods

primaryKey :: forall (column :: Type -> Type). SpecRunT column -> PrimaryKey SpecRunT column #

Eq SpecRunEntryId # 
Instance details

Methods

(==) :: SpecRunEntryId -> SpecRunEntryId -> Bool #

(/=) :: SpecRunEntryId -> SpecRunEntryId -> Bool #

(BeamMigrateSqlBackend bk, FromBackendRow bk UUID) => FromBackendRow bk SpecRunId # 
Instance details

Methods

fromBackendRow :: FromBackendRowM bk SpecRunId #

valuesNeeded :: Proxy bk -> Proxy SpecRunId -> Int #

(BeamBackend bk, FromBackendRow bk Scientific) => FromBackendRow bk NominalDiffTime # 
Instance details

Methods

fromBackendRow :: FromBackendRowM bk NominalDiffTime #

valuesNeeded :: Proxy bk -> Proxy NominalDiffTime -> Int #

HasSqlValueSyntax bk UUID => HasSqlValueSyntax bk SpecRunId # 
Instance details

Methods

sqlValueSyntax :: SpecRunId -> bk #

BeamSqlBackend bk => HasSqlEqualityCheck bk SpecRunId # 
Instance details

Methods

sqlEqE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #

sqlNeqE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #

sqlEqTriE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #

sqlNeqTriE :: Proxy SpecRunId -> Proxy bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk -> BeamSqlBackendExpressionSyntax bk #

(HasDefaultSqlDataType bk UUID, BeamMigrateSqlBackend bk) => HasDefaultSqlDataType bk SpecRunId # 
Instance details

Methods

defaultSqlDataType :: Proxy SpecRunId -> Proxy bk -> Bool -> BeamSqlBackendDataTypeSyntax bk #

defaultSqlDataTypeConstraints :: Proxy SpecRunId -> Proxy bk -> Bool -> [FieldCheck] #

Beamable (PrimaryKey SpecRunT) # 
Instance details

Methods

zipBeamFieldsM :: forall m (f :: Type -> Type) (g :: Type -> Type) (h :: Type -> Type). Applicative m => (forall a. Columnar' f a -> Columnar' g a -> m (Columnar' h a)) -> PrimaryKey SpecRunT f -> PrimaryKey SpecRunT g -> m (PrimaryKey SpecRunT h) #

tblSkeleton :: TableSkeleton (PrimaryKey SpecRunT) #

Generic (PrimaryKey SpecRunT f) # 
Instance details

Associated Types

type Rep (PrimaryKey SpecRunT f) 
Instance details

Defined in Napkin.Metadata.Types

type Rep (PrimaryKey SpecRunT f) = D1 ('MetaData "PrimaryKey" "Napkin.Metadata.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecRunEntryId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID))))

Methods

from :: PrimaryKey SpecRunT f -> Rep (PrimaryKey SpecRunT f) x #

to :: Rep (PrimaryKey SpecRunT f) x -> PrimaryKey SpecRunT f #

Show (PrimaryKey SpecRunT (Nullable Identity)) # 
Instance details

Methods

showsPrec :: Int -> PrimaryKey SpecRunT (Nullable Identity) -> ShowS #

show :: PrimaryKey SpecRunT (Nullable Identity) -> String #

showList :: [PrimaryKey SpecRunT (Nullable Identity)] -> ShowS #