unison-codebase-sqlite-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

U.Codebase.Sqlite.Branch.Diff

Documentation

type LocalDiff = Diff' LocalTextId LocalDefnId LocalPatchObjectId LocalBranchChildId Source #

type Diff = Diff' TextId ObjectId PatchObjectId (BranchObjectId, CausalHashId) Source #

data DefinitionOp' r Source #

Constructors

RemoveDef 
AddDefWithMetadata (Set r) 
AlterDefMetadata (AddRemove r) 

Instances

Instances details
Show r => Show (DefinitionOp' r) Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

showsPrec :: Int -> DefinitionOp' r -> ShowS #

show :: DefinitionOp' r -> String #

showList :: [DefinitionOp' r] -> ShowS #

data PatchOp' p Source #

Constructors

PatchRemove 
PatchAddReplace p 

Instances

Instances details
Functor PatchOp' Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

fmap :: (a -> b) -> PatchOp' a -> PatchOp' b #

(<$) :: a -> PatchOp' b -> PatchOp' a #

Show p => Show (PatchOp' p) Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

showsPrec :: Int -> PatchOp' p -> ShowS #

show :: PatchOp' p -> String #

showList :: [PatchOp' p] -> ShowS #

data ChildOp' c Source #

Constructors

ChildRemove 
ChildAddReplace c 

Instances

Instances details
Functor ChildOp' Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

fmap :: (a -> b) -> ChildOp' a -> ChildOp' b #

(<$) :: a -> ChildOp' b -> ChildOp' a #

Show c => Show (ChildOp' c) Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

showsPrec :: Int -> ChildOp' c -> ShowS #

show :: ChildOp' c -> String #

showList :: [ChildOp' c] -> ShowS #

type AddRemove a = Map a Bool Source #

type LocalDefinitionOp = DefinitionOp' (Metadata LocalTextId LocalDefnId) Source #

type LocalPatchOp = PatchOp' LocalPatchObjectId Source #

type LocalChildOp = ChildOp' LocalBranchChildId Source #

type DefinitionOp = DefinitionOp' (Metadata TextId ObjectId) Source #

type PatchOp = PatchOp' PatchObjectId Source #

type ChildOp = ChildOp' (BranchObjectId, CausalHashId) Source #

addsRemoves :: AddRemove a -> ([a], [a]) Source #

type Referent'' t h = Referent' (Reference' t h) (Reference' t h) Source #

data Diff' t h p c Source #

Constructors

Diff 

Fields

Instances

Instances details
(Show t, Show h, Show p, Show c) => Show (Diff' t h p c) Source # 
Instance details

Defined in U.Codebase.Sqlite.Branch.Diff

Methods

showsPrec :: Int -> Diff' t h p c -> ShowS #

show :: Diff' t h p c -> String #

showList :: [Diff' t h p c] -> ShowS #

type Metadata t h = Reference' t h Source #

quadmap :: (Ord t', Ord h') => (t -> t') -> (h -> h') -> (p -> p') -> (c -> c') -> Diff' t h p c -> Diff' t' h' p' c' Source #