| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Napkin.Experimental.Tardis
Synopsis
- programs :: forall b. Typeable b => [SpecProgramForYaml b]
- tardis_ :: forall b. (TardisCompat b, Default (BackendTableMeta b), SqlConcat b) => BackendTableMeta b -> Relation -> DryRunFields -> IgnoredFields -> Maybe (NonEmpty PrimaryKeyColumn) -> SpecProgram' b ()
- tardis :: forall b. (TardisCompat b, Default (BackendTableMeta b), FromJSON (YamlBackendTableMeta b), SqlConcat b) => SpecProgramForYaml b
- tardisPresentQuery :: Ref Table -> Query
- tardisLastRevisionsQuery :: Ref Table -> Query
- tardisTimeTravelQuery :: Ref Table -> UTCTime -> Query
- tardisPresentView :: BackendMetaConstraints b => SpecProgramForYaml b
- tardisLastRevisionsView :: BackendMetaConstraints b => SpecProgramForYaml b
- tardisTimeTravelView :: BackendMetaConstraints b => SpecProgramForYaml b
- class HasBackendSchemaField b => TardisCompat b
- pattern ColFingerprint :: (Eq a, IsString a) => a
- pattern ColFingerprintSerial :: (Eq a, IsString a) => a
- pattern ColValidFrom :: (Eq a, IsString a) => a
- pattern ColValidTo :: (Eq a, IsString a) => a
- pattern ColIsLatest :: (Eq a, IsString a) => a
Documentation
programs :: forall b. Typeable b => [SpecProgramForYaml b] #
tardis_ :: forall b. (TardisCompat b, Default (BackendTableMeta b), SqlConcat b) => BackendTableMeta b -> Relation -> DryRunFields -> IgnoredFields -> Maybe (NonEmpty PrimaryKeyColumn) -> SpecProgram' b () #
tardis :: forall b. (TardisCompat b, Default (BackendTableMeta b), FromJSON (YamlBackendTableMeta b), SqlConcat b) => SpecProgramForYaml b #
tardisPresentQuery :: Ref Table -> Query #
tardisLastRevisionsQuery :: Ref Table -> Query #
class HasBackendSchemaField b => TardisCompat b #
Minimal complete definition
toBase64, sha256, datetimeColType, coalesce_
Instances
pattern ColFingerprint :: (Eq a, IsString a) => a #
Fingerprint of all columns in source table. Implemented as base-64 encoded sha256 of contents separated by '1'
pattern ColFingerprintSerial :: (Eq a, IsString a) => a #
Used to differentiate duplicates
pattern ColValidFrom :: (Eq a, IsString a) => a #
Timestamp of first tardis run the row appeared in
pattern ColValidTo :: (Eq a, IsString a) => a #
Null when the row was still there last time tardis ran, otherwise a timestamp of tardis run that detected row missing
pattern ColIsLatest :: (Eq a, IsString a) => a #
Indicates the last revision of a record (if primary key is in use). If ColValidTo is not null then the row has been deleted already.