| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Patch.Format
Synopsis
- data PatchFormat
- type PatchLocalIds = PatchLocalIds' TextId HashId ObjectId
- data PatchLocalIds' t h d = LocalIds {
- patchTextLookup :: Vector t
- patchHashLookup :: Vector h
- patchDefnLookup :: Vector d
- type HashPatchLocalIds = PatchLocalIds' Text ComponentHash ComponentHash
- type SyncPatchFormat = SyncPatchFormat' PatchObjectId TextId HashId ObjectId
- data SyncPatchFormat' parent text hash defn
- = SyncFull (PatchLocalIds' text hash defn) ByteString
- | SyncDiff parent (PatchLocalIds' text hash defn) ByteString
- applyPatchDiffs :: Patch -> [PatchDiff] -> Patch
- localPatchToPatch :: PatchLocalIds -> LocalPatch -> Patch
- localPatchToPatch' :: (Ord t, Ord h, Ord d) => PatchLocalIds' t h d -> Patch' LocalTextId LocalHashId LocalDefnId -> Patch' t h d
- localPatchDiffToPatchDiff :: PatchLocalIds -> LocalPatchDiff -> PatchDiff
- localPatchToHashPatch :: HashPatchLocalIds -> LocalPatch -> HashPatch
Documentation
data PatchFormat Source #
Constructors
| Full PatchLocalIds LocalPatch | |
| Diff PatchObjectId PatchLocalIds LocalPatchDiff |
data PatchLocalIds' t h d Source #
Constructors
| LocalIds | |
Fields
| |
type HashPatchLocalIds = PatchLocalIds' Text ComponentHash ComponentHash Source #
LocalIds type which can be used in hashing the Patch.
data SyncPatchFormat' parent text hash defn Source #
Constructors
| SyncFull (PatchLocalIds' text hash defn) ByteString | |
| SyncDiff parent (PatchLocalIds' text hash defn) ByteString | p is the identity of the thing that the diff is relative to |
applyPatchDiffs :: Patch -> [PatchDiff] -> Patch Source #
Apply a list of patch diffs to a patch, left to right.
localPatchToPatch :: PatchLocalIds -> LocalPatch -> Patch Source #
Type specialized version of localToPatch'.
localPatchToPatch' :: (Ord t, Ord h, Ord d) => PatchLocalIds' t h d -> Patch' LocalTextId LocalHashId LocalDefnId -> Patch' t h d Source #
Generic version of localPatchToPatch that works with any PatchLocalIds'.