Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
data SpecRunTV1 (f :: Type -> Type) #
SpecRunV1 | |
|
Instances
type SpecRunV1 = SpecRunTV1 Identity #
newtype MetadataDbV1 (f :: Type -> Type) #
Instances
Generic (MetadataDbV1 f) # | |||||
Defined in Napkin.Metadata.Migration.Types
from :: MetadataDbV1 f -> Rep (MetadataDbV1 f) x # to :: Rep (MetadataDbV1 f) x -> MetadataDbV1 f # | |||||
type Rep (MetadataDbV1 f) # | |||||
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV1 f) = D1 ('MetaData "MetadataDbV1" "Napkin.Metadata.Migration.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "MetadataDbV1" 'PrefixI 'True) (S1 ('MetaSel ('Just "v1_specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunTV1))))) |
data SpecRunTV2 (f :: Type -> Type) #
SpecRunV2 | |
|
Instances
Show SpecRunV2 # | |||||
Beamable SpecRunTV2 # | |||||
Defined in Napkin.Metadata.Migration.Types 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)) -> SpecRunTV2 f -> SpecRunTV2 g -> m (SpecRunTV2 h) # | |||||
Table SpecRunTV2 # | |||||
Defined in Napkin.Metadata.Migration.Types
primaryKey :: forall (column :: Type -> Type). SpecRunTV2 column -> PrimaryKey SpecRunTV2 column # | |||||
Eq SpecRunV2 # | |||||
Generic (SpecRunTV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types
from :: SpecRunTV2 f -> Rep (SpecRunTV2 f) x # to :: Rep (SpecRunTV2 f) x -> SpecRunTV2 f # | |||||
Beamable (PrimaryKey SpecRunTV2) # | |||||
Defined in Napkin.Metadata.Migration.Types 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 SpecRunTV2 f -> PrimaryKey SpecRunTV2 g -> m (PrimaryKey SpecRunTV2 h) # | |||||
Generic (PrimaryKey SpecRunTV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types
from :: PrimaryKey SpecRunTV2 f -> Rep (PrimaryKey SpecRunTV2 f) x # to :: Rep (PrimaryKey SpecRunTV2 f) x -> PrimaryKey SpecRunTV2 f # | |||||
data PrimaryKey SpecRunTV2 f # | |||||
Defined in Napkin.Metadata.Migration.Types | |||||
type Rep (SpecRunTV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types type Rep (SpecRunTV2 f) = D1 ('MetaData "SpecRunTV2" "Napkin.Metadata.Migration.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecRunV2" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "v2_entryId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID)) :*: S1 ('MetaSel ('Just "v2_app") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f AppName))) :*: (S1 ('MetaSel ('Just "v2_pipeline") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f Pipeline)) :*: S1 ('MetaSel ('Just "v2_runId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f SpecRunId)))) :*: ((S1 ('MetaSel ('Just "v2_table") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f SpecTableName)) :*: S1 ('MetaSel ('Just "v2_started") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UTCTime))) :*: (S1 ('MetaSel ('Just "v2_complete") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe UTCTime))) :*: (S1 ('MetaSel ('Just "v2_action") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Text))) :*: S1 ('MetaSel ('Just "v2_error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Text))))))) :*: (((S1 ('MetaSel ('Just "v2_rowsAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))) :*: S1 ('MetaSel ('Just "v2_bytesAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64)))) :*: (S1 ('MetaSel ('Just "v2_cost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Pennies))) :*: S1 ('MetaSel ('Just "v2_serverTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))))) :*: ((S1 ('MetaSel ('Just "v2_hookRowsAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))) :*: S1 ('MetaSel ('Just "v2_hookBytesAffected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64)))) :*: (S1 ('MetaSel ('Just "v2_hookCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Pennies))) :*: (S1 ('MetaSel ('Just "v2_hookServerTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe Int64))) :*: S1 ('MetaSel ('Just "v2_deps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f (Maybe DepChain))))))))) | |||||
type Rep (PrimaryKey SpecRunTV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types type Rep (PrimaryKey SpecRunTV2 f) = D1 ('MetaData "PrimaryKey" "Napkin.Metadata.Migration.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "SpecRunEntryIdV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (C f UUID)))) |
type SpecRunV2 = SpecRunTV2 Identity #
newtype MetadataDbV2 (f :: Type -> Type) #
Instances
Generic (MetadataDbV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types
from :: MetadataDbV2 f -> Rep (MetadataDbV2 f) x # to :: Rep (MetadataDbV2 f) x -> MetadataDbV2 f # | |||||
type Rep (MetadataDbV2 f) # | |||||
Defined in Napkin.Metadata.Migration.Types type Rep (MetadataDbV2 f) = D1 ('MetaData "MetadataDbV2" "Napkin.Metadata.Migration.Types" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'True) (C1 ('MetaCons "MetadataDbV2" 'PrefixI 'True) (S1 ('MetaSel ('Just "v2_specRuns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (TableEntity SpecRunTV2))))) |