Safe Haskell	Safe-Inferred
Language	GHC2021

U.Codebase.Branch.Type

Synopsis

data Branch m = Branch {
- terms :: !(Map NameSegment (Map Referent (m MdValues)))
- types :: !(Map NameSegment (Map Reference (m MdValues)))
- patches :: !(Map NameSegment (PatchHash, m Patch))
- children :: !(Map NameSegment (CausalBranch m))
}
type CausalBranch m = Causal m CausalHash BranchHash (Branch m) (Branch m)
data Patch = Patch {
- termEdits :: !(Map Referent (Set TermEdit))
- typeEdits :: !(Map Reference (Set TypeEdit))
}
type MetadataType = Reference
type MetadataValue = Reference
newtype MdValues = MdValues {
- unMdValues :: Set MetadataValue
}
data NamespaceStats = NamespaceStats {
- numContainedTerms :: !Int
- numContainedTypes :: !Int
- numContainedPatches :: !Int
}
hasDefinitions :: NamespaceStats -> Bool
childAt :: NameSegment -> Branch m -> Maybe (CausalBranch m)
hoist :: Functor n => (forall x. m x -> n x) -> Branch m -> Branch n
hoistCausalBranch :: Functor n => (forall x. m x -> n x) -> CausalBranch m -> CausalBranch n
empty :: Branch m

Documentation

data Branch m Source #

A re-imagining of Unison.Codebase.Branch which is less eager in what it loads, which can often speed up load times and keep fewer things in memory.

Constructors

Branch
Fields terms :: !(Map NameSegment (Map Referent (m MdValues))) types :: !(Map NameSegment (Map Reference (m MdValues))) patches :: !(Map NameSegment (PatchHash, m Patch)) children :: !(Map NameSegment (CausalBranch m))

Instances

Instances details

Generic (Branch m) Source #
Instance details Defined in U.Codebase.Branch.Type Associated Types type Rep (Branch m) :: Type -> Type # Methods from :: Branch m -> Rep (Branch m) x # to :: Rep (Branch m) x -> Branch m #
Show (Branch m) Source #
Instance details Defined in U.Codebase.Branch.Type Methods showsPrec :: Int -> Branch m -> ShowS # show :: Branch m -> String # showList :: [Branch m] -> ShowS #
type Rep (Branch m) Source #
Instance details Defined in U.Codebase.Branch.Type type Rep (Branch m) = D1 ('MetaData "Branch" "U.Codebase.Branch.Type" "unison-codebase-0.0.0-AFzt1HmKDX512erVMwvK3i" 'False) (C1 ('MetaCons "Branch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NameSegment (Map Referent (m MdValues)))) :: S1 ('MetaSel ('Just "types") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NameSegment (Map Reference (m MdValues))))) :: (S1 ('MetaSel ('Just "patches") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NameSegment (PatchHash, m Patch))) :*: S1 ('MetaSel ('Just "children") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NameSegment (CausalBranch m))))))

type CausalBranch m = Causal m CausalHash BranchHash (Branch m) (Branch m) Source #

data Patch Source #

Constructors

Patch
Fields termEdits :: !(Map Referent (Set TermEdit)) typeEdits :: !(Map Reference (Set TypeEdit))

type MetadataType = Reference Source #

type MetadataValue = Reference Source #

newtype MdValues Source #

Constructors

MdValues
Fields unMdValues :: Set MetadataValue

Instances

Instances details

Show MdValues Source #
Instance details Defined in U.Codebase.Branch.Type Methods showsPrec :: Int -> MdValues -> ShowS # show :: MdValues -> String # showList :: [MdValues] -> ShowS #
Eq MdValues Source #
Instance details Defined in U.Codebase.Branch.Type Methods (==) :: MdValues -> MdValues -> Bool # (/=) :: MdValues -> MdValues -> Bool #
Ord MdValues Source #
Instance details Defined in U.Codebase.Branch.Type Methods compare :: MdValues -> MdValues -> Ordering # (<) :: MdValues -> MdValues -> Bool # (<=) :: MdValues -> MdValues -> Bool # (>) :: MdValues -> MdValues -> Bool # (>=) :: MdValues -> MdValues -> Bool # max :: MdValues -> MdValues -> MdValues # min :: MdValues -> MdValues -> MdValues #

data NamespaceStats Source #

Useful statistics about a namespace. All contained statistics should be static, i.e. they can be computed when a branch is first saved, and won't change unless the branch hash also changes.

Constructors

NamespaceStats
Fields numContainedTerms :: !Int numContainedTypes :: !Int numContainedPatches :: !Int

Instances

Instances details

Monoid NamespaceStats Source #
Instance details Defined in U.Codebase.Branch.Type Methods mempty :: NamespaceStats # mappend :: NamespaceStats -> NamespaceStats -> NamespaceStats # mconcat :: [NamespaceStats] -> NamespaceStats #
Semigroup NamespaceStats Source #
Instance details Defined in U.Codebase.Branch.Type Methods (<>) :: NamespaceStats -> NamespaceStats -> NamespaceStats # sconcat :: NonEmpty NamespaceStats -> NamespaceStats # stimes :: Integral b => b -> NamespaceStats -> NamespaceStats #
Show NamespaceStats Source #
Instance details Defined in U.Codebase.Branch.Type Methods showsPrec :: Int -> NamespaceStats -> ShowS # show :: NamespaceStats -> String # showList :: [NamespaceStats] -> ShowS #
Eq NamespaceStats Source #
Instance details Defined in U.Codebase.Branch.Type Methods (==) :: NamespaceStats -> NamespaceStats -> Bool # (/=) :: NamespaceStats -> NamespaceStats -> Bool #
Ord NamespaceStats Source #
Instance details Defined in U.Codebase.Branch.Type Methods compare :: NamespaceStats -> NamespaceStats -> Ordering # (<) :: NamespaceStats -> NamespaceStats -> Bool # (<=) :: NamespaceStats -> NamespaceStats -> Bool # (>) :: NamespaceStats -> NamespaceStats -> Bool # (>=) :: NamespaceStats -> NamespaceStats -> Bool # max :: NamespaceStats -> NamespaceStats -> NamespaceStats # min :: NamespaceStats -> NamespaceStats -> NamespaceStats #

hasDefinitions :: NamespaceStats -> Bool Source #

Whether the provided stats indicate the presence of any definitions in the namespace.

childAt :: NameSegment -> Branch m -> Maybe (CausalBranch m) Source #

hoist :: Functor n => (forall x. m x -> n x) -> Branch m -> Branch n Source #

hoistCausalBranch :: Functor n => (forall x. m x -> n x) -> CausalBranch m -> CausalBranch n Source #

empty :: Branch m Source #