Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.Branch.Full

Synopsis

type LocalBranch = Branch' LocalTextId LocalDefnId LocalPatchObjectId LocalBranchChildId
type DbBranch = Branch' TextId ObjectId PatchObjectId (BranchObjectId, CausalHashId)
type DbBranchV3 = GBranchV3 TextId ObjectId (BranchObjectId, CausalHashId)
type HashBranch = Branch' Text ComponentHash PatchHash (BranchHash, CausalHash)
type Referent'' t h = Referent' (TermReference' t h) (TypeReference' t h)
data Branch' t h p c = Branch {
- terms :: !(Map t (Map (Referent'' t h) (MetadataSetFormat' t h)))
- types :: !(Map t (Map (TypeReference' t h) (MetadataSetFormat' t h)))
- patches :: !(Map t p)
- children :: !(Map t c)
}
data GBranchV3 t h c = BranchV3 {
- children :: !(Map t c)
- terms :: !(Map t (Referent'' t h))
- types :: !(Map t (TypeReference' t h))
}
emptyBranch :: Branch' t h p c
branchHashes_ :: (Ord h', Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h' p c) h h'
patches_ :: Traversal (Branch' t h p c) (Branch' t h p' c) p p'
childrenHashes_ :: Traversal (Branch' t h p c) (Branch' t h p c') c c'
branchCausalHashes_ :: Traversal (Branch' t h p c) (Branch' t h p c') c c'
type LocalMetadataSet = MetadataSetFormat' LocalTextId LocalDefnId
type DbMetadataSet = MetadataSetFormat' TextId ObjectId
data MetadataSetFormat' t h = Inline (Set (Reference' t h))
metadataSetFormatReferences_ :: (Ord t, Ord h, Ord h') => Traversal (MetadataSetFormat' t h) (MetadataSetFormat' t h') (Reference' t h) (Reference' t h')
quadmap :: forall t h p c t' h' p' c'. (Ord t', Ord h') => (t -> t') -> (h -> h') -> (p -> p') -> (c -> c') -> Branch' t h p c -> Branch' t' h' p' c'
quadmapM :: forall t h p c t' h' p' c' m. (Ord t', Ord h', Applicative m) => (t -> m t') -> (h -> m h') -> (p -> m p') -> (c -> m c') -> Branch' t h p c -> m (Branch' t' h' p' c')
t_ :: (Ord t', Ord h) => Traversal (Branch' t h p c) (Branch' t' h p c) t t'
h_ :: (Ord t, Ord h') => Traversal (Branch' t h p c) (Branch' t h' p c) h h'
p_ :: (Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h p' c) p p'
c_ :: (Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h p c') c c'

Documentation

type LocalBranch = Branch' LocalTextId LocalDefnId LocalPatchObjectId LocalBranchChildId Source #

Branch
  { terms :: Map LocalTextId (Map LocalReferent LocalMetadataSet),
    types :: Map LocalTextId (Map LocalReference LocalMetadataSet),
    patches :: Map LocalTextId LocalPatchObjectId,
    children :: Map LocalTextId LocalBranchChildId
  }

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

Branch
  { terms :: Map TextId (Map Referent DbMetadataSet),
    types :: Map TextId (Map Reference DbMetadataSet),
    patches :: Map TextId PatchObjectId,
    children :: Map TextId (BranchObjectId, CausalHashId)
  }

type DbBranchV3 = GBranchV3 TextId ObjectId (BranchObjectId, CausalHashId) Source #

type HashBranch = Branch' Text ComponentHash PatchHash (BranchHash, CausalHash) Source #

type Referent'' t h = Referent' (TermReference' t h) (TypeReference' t h) Source #

data Branch' t h p c Source #

Constructors

Branch
Fields terms :: !(Map t (Map (Referent'' t h) (MetadataSetFormat' t h))) types :: !(Map t (Map (TypeReference' t h) (MetadataSetFormat' t h))) patches :: !(Map t p) children :: !(Map t c)

Instances

Instances details

Generic (Branch' t h p c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full Associated Types type Rep (Branch' t h p c) :: Type -> Type # Methods from :: Branch' t h p c -> Rep (Branch' t h p c) x # to :: Rep (Branch' t h p c) x -> Branch' t h p c #
(Show t, Show h, Show p, Show c) => Show (Branch' t h p c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full Methods showsPrec :: Int -> Branch' t h p c -> ShowS # show :: Branch' t h p c -> String # showList :: [Branch' t h p c] -> ShowS #
type Rep (Branch' t h p c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full type Rep (Branch' t h p c) = D1 ('MetaData "Branch'" "U.Codebase.Sqlite.Branch.Full" "unison-codebase-sqlite-0.0.0-BhjP5rNBqEaCHqYDugbkq9" 'False) (C1 ('MetaCons "Branch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t (Map (Referent'' t h) (MetadataSetFormat' t h)))) :: S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t (Map (TypeReference' t h) (MetadataSetFormat' t h))))) :: (S1 ('MetaSel ('Just "patches") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t p)) :*: S1 ('MetaSel ('Just "children") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t c)))))

data GBranchV3 t h c Source #

A V3 branch; see U.Codebase.BranchV3

Constructors

BranchV3
Fields children :: !(Map t c) terms :: !(Map t (Referent'' t h)) types :: !(Map t (TypeReference' t h))

Instances

Instances details

Generic (GBranchV3 t h c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full Associated Types type Rep (GBranchV3 t h c) :: Type -> Type # Methods from :: GBranchV3 t h c -> Rep (GBranchV3 t h c) x # to :: Rep (GBranchV3 t h c) x -> GBranchV3 t h c #
(Show t, Show c, Show h) => Show (GBranchV3 t h c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full Methods showsPrec :: Int -> GBranchV3 t h c -> ShowS # show :: GBranchV3 t h c -> String # showList :: [GBranchV3 t h c] -> ShowS #
type Rep (GBranchV3 t h c) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full type Rep (GBranchV3 t h c) = D1 ('MetaData "GBranchV3" "U.Codebase.Sqlite.Branch.Full" "unison-codebase-sqlite-0.0.0-BhjP5rNBqEaCHqYDugbkq9" 'False) (C1 ('MetaCons "BranchV3" 'PrefixI 'True) (S1 ('MetaSel ('Just "children") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t c)) :: (S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t (Referent'' t h))) :: S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map t (TypeReference' t h))))))

emptyBranch :: Branch' t h p c Source #

branchHashes_ :: (Ord h', Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h' p c) h h' Source #

patches_ :: Traversal (Branch' t h p c) (Branch' t h p' c) p p' Source #

childrenHashes_ :: Traversal (Branch' t h p c) (Branch' t h p c') c c' Source #

branchCausalHashes_ :: Traversal (Branch' t h p c) (Branch' t h p c') c c' Source #

type LocalMetadataSet = MetadataSetFormat' LocalTextId LocalDefnId Source #

type DbMetadataSet = MetadataSetFormat' TextId ObjectId Source #

data MetadataSetFormat' t h Source #

Constructors

Inline (Set (Reference' t h))

Instances

Instances details

(Show t, Show h) => Show (MetadataSetFormat' t h) Source #
Instance details Defined in U.Codebase.Sqlite.Branch.Full Methods showsPrec :: Int -> MetadataSetFormat' t h -> ShowS # show :: MetadataSetFormat' t h -> String # showList :: [MetadataSetFormat' t h] -> ShowS #

metadataSetFormatReferences_ :: (Ord t, Ord h, Ord h') => Traversal (MetadataSetFormat' t h) (MetadataSetFormat' t h') (Reference' t h) (Reference' t h') Source #

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

quadmapM :: forall t h p c t' h' p' c' m. (Ord t', Ord h', Applicative m) => (t -> m t') -> (h -> m h') -> (p -> m p') -> (c -> m c') -> Branch' t h p c -> m (Branch' t' h' p' c') Source #

t_ :: (Ord t', Ord h) => Traversal (Branch' t h p c) (Branch' t' h p c) t t' Source #

Traversal over text references in a branch

h_ :: (Ord t, Ord h') => Traversal (Branch' t h p c) (Branch' t h' p c) h h' Source #

Traversal over hash references in a branch

p_ :: (Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h p' c) p p' Source #

Traversal over patch references in a branch

c_ :: (Ord t, Ord h) => Traversal (Branch' t h p c) (Branch' t h p c') c c' Source #

Traversal over child references in a branch