| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Codebase.BranchUtil
Synopsis
- fromNames :: Monad m => Names -> Branch m
- getBranch :: Split Path -> Branch0 m -> Maybe (Branch m)
- getTerm :: HashQualified (Split Path) -> Branch0 m -> Set Referent
- getType :: HashQualified (Split Path) -> Branch0 m -> Set TypeReference
- makeSetBranch :: Split path -> Branch m -> (path, Branch0 m -> Branch0 m)
- makeAddTypeName :: Split p -> Reference -> (p, Branch0 m -> Branch0 m)
- makeDeleteTypeName :: Split p -> Reference -> (p, Branch0 m -> Branch0 m)
- makeAnnihilateTypeName :: Split path -> (path, Branch0 m -> Branch0 m)
- makeAddTermName :: Split p -> Referent -> (p, Branch0 m -> Branch0 m)
- makeDeleteTermName :: Split p -> Referent -> (p, Branch0 m -> Branch0 m)
- makeAnnihilateTermName :: Split path -> (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
getType :: HashQualified (Split Path) -> Branch0 m -> Set TypeReference Source #