unison-parser-typechecker-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.BranchUtil

Contents

Branch creation
Branch queries
Branch modifications

Synopsis

fromNames :: Monad m => Names -> Branch m
getBranch :: Split -> Branch0 m -> Maybe (Branch m)
getTerm :: HQSplit -> Branch0 m -> Set Referent
getType :: HQSplit -> Branch0 m -> Set TypeReference
makeSetBranch :: Split -> Branch m -> (Path, Branch0 m -> Branch0 m)
makeAddTypeName :: (p, NameSegment) -> Reference -> (p, Branch0 m -> Branch0 m)
makeDeleteTypeName :: (p, NameSegment) -> Reference -> (p, Branch0 m -> Branch0 m)
makeAnnihilateTypeName :: Split -> (Path, Branch0 m -> Branch0 m)
makeAddTermName :: (p, NameSegment) -> Referent -> (p, Branch0 m -> Branch0 m)
makeDeleteTermName :: (p, NameSegment) -> Referent -> (p, Branch0 m -> Branch0 m)
makeAnnihilateTermName :: Split -> (Path, Branch0 m -> Branch0 m)

Branch creation

fromNames :: Monad m => Names -> Branch m Source #

Creates a branch containing all of the given names, with a single history node.

Branch queries

getBranch :: Split -> Branch0 m -> Maybe (Branch m) Source #

getTerm :: HQSplit -> Branch0 m -> Set Referent Source #

getType :: HQSplit -> Branch0 m -> Set TypeReference Source #

Branch modifications

makeSetBranch :: Split -> Branch m -> (Path, Branch0 m -> Branch0 m) Source #

makeAddTypeName :: (p, NameSegment) -> Reference -> (p, Branch0 m -> Branch0 m) Source #

makeDeleteTypeName :: (p, NameSegment) -> Reference -> (p, Branch0 m -> Branch0 m) Source #

makeAnnihilateTypeName :: Split -> (Path, Branch0 m -> Branch0 m) Source #

makeAddTermName :: (p, NameSegment) -> Referent -> (p, Branch0 m -> Branch0 m) Source #

makeDeleteTermName :: (p, NameSegment) -> Referent -> (p, Branch0 m -> Branch0 m) Source #

makeAnnihilateTermName :: Split -> (Path, Branch0 m -> Branch0 m) Source #