| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Experimental.Tardis
Synopsis
- tardis_ :: (TardisCompat b, Default (BackendTableMeta b), SqlConcat b) => BackendTableMeta b -> Relation -> DryRunFields -> IgnoredFields -> Maybe (NonEmpty PrimaryKeyColumn) -> SpecProgram' b ()
- tardisPresentQuery :: Ref Table -> Query
- tardisLastRevisionsQuery :: Ref Table -> Query
- tardisTimeTravelQuery :: Ref Table -> UTCTime -> Query
- class HasBackendSchemaField b => TardisCompat (b :: k)
- 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
- pattern Exterminate :: (Eq a, IsString a) => a
Documentation
tardis_ :: (TardisCompat b, Default (BackendTableMeta b), SqlConcat b) => BackendTableMeta b -> Relation -> DryRunFields -> IgnoredFields -> Maybe (NonEmpty PrimaryKeyColumn) -> SpecProgram' b () #
tardisPresentQuery :: Ref Table -> Query #
tardisLastRevisionsQuery :: Ref Table -> Query #
class HasBackendSchemaField b => TardisCompat (b :: k) #
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.
pattern Exterminate :: (Eq a, IsString a) => a #