A node in the Unison namespace hierarchy along with its history.

A node in the Unison namespace hierarchy.

$sel:_terms:Branch0 and $sel:_types:Branch0 are the declarations at this level. $sel:_children:Branch0 are the nodes one level below us. $sel:_edits:Branch0 are the Patchs stored at this node in the code.

The remaining fields are derived from the four above. None of the record fields are exported to avoid accidental tweaking without updating the associated derived fields.

Use either the lensy accessors or the field getters.

A Hash for a namespace itself, it doesn't incorporate any history.

Construct a two-parent merge node.

Discards the history of a Branch and its children, recursively

Discards the history of a Branch0's children, recursively

Checks whether a branch is empty AND has no history.

Update the head of the current causal. This re-hashes the current causal head after modifications.

a version of deepEdits that returns the `m Patch` as well.

what does this do? —AI

Perform an update over the current branch and create a new causal step.

Run a series of updates at specific locations, aggregating all changes into a single causal step. History is managed according to UpdateStrategy.

Run a series of updates at specific locations. History is managed according to the UpdateStrategy

Perform updates over many locations within a branch by batching up operations on sub-branches as much as possible without affecting semantics. This operation does not create any causal conses, the operations are performed directly on the current head of the provided branch and child branches. It's the caller's responsibility to apply updates in history however they choose.

Batch many updates. This allows us to apply the updates while minimizing redundant traversals. Semantics of operations are preserved by ensuring that all updates will always see changes by updates before them in the list.

This method does not step any branches on its own, all causal changes must be performed in the updates themselves, or this batch update must be provided to 'stepManyAt(M)'.

Traverse the head branch of all direct children. The index of the traversal is the name of that child branch according to the parent.

Remove any lib subtrees reachable within the branch. Note: This DOES affect the hash.

Remove any transitive libs reachable within the branch. Note: This DOES affect the hash.

deleteLibdep name branch deletes the libdep named name from branch, if it exists.

deleteLibdeps branch deletes all libdeps from branch.

head consBranchSnapshot base Cons's the current state of head onto base as-is. Consider whether you really want this behaviour or the behaviour of squashMerge That is, it does not perform any common ancestor detection, or change reconciliation, it sets the current state of the base branch to the new state as a new causal step (or returns the existing base if there are no)