package yuujinchou

  1. Overview
  2. Docs
On This Page
  1. Updating
  2. Union

Module Trie.ResultSource

Updating

Sourceval update_subtree : path -> ('a t -> ('a t, 'error) result) -> 'a t -> ('a t, 'error) result

update_subtree p f t replaces the subtree t' rooted at p in t with f t'.

Sourceval update_singleton : path -> ('a option -> ('a option, 'error) result) -> 'a t -> ('a t, 'error) result

update_singleton p f t replaces the value v at p in t with the result of f. If there was no binding at p, f None is evaluated. Otherwise, f (Some v) is used. If the result is None, the old binding at p (if any) is removed. Otherwise, if the result is Some v', the value at p is replaced by v'.

Sourceval update_root : ('a option -> ('a option, 'error) result) -> 'a t -> ('a t, 'error) result

update_root f t updates the value at root with f. It is equivalent to update_singleton[] f t.

Union

Sourceval union : ?rev_prefix:path -> (rev_path:path -> 'a -> 'a -> ('a, 'error) result) -> 'a t -> 'a t -> ('a t, 'error) result

union ~rev_prefix merger t1 t2 merges two tries t1 and t2. If both tries have a binding at the same path p, it will call merger ~rev_path:p x y to reconcile the values x from t1 and y from t2 that are both bound at the (reversed) path rev_path. The path rev_path is reversed for efficient traversal.

  • parameter rev_prefix

    The prefix prepended to any path sent to merger. The default is the empty unit path ([]).

Sourceval union_subtree : ?rev_prefix:path -> (rev_path:path -> 'a -> 'a -> ('a, 'error) result) -> 'a t -> (path * 'a t) -> ('a t, 'error) result

union_subtree ~rev_prefix merger t1 (path, t2) is equivalent to union~rev_prefix merger t1 (prefix path t2), but potentially more efficient.

  • parameter rev_prefix

    The prefix prepended to any path sent to merger. The default is the empty unit path ([]).

Sourceval union_singleton : ?rev_prefix:path -> (rev_path:path -> 'a -> 'a -> ('a, 'error) result) -> 'a t -> (path * 'a) -> ('a t, 'error) result

union_singleton merger t binding is equivalent to unionmerger t1 (singleton binding), but potentially more efficient.

  • parameter rev_prefix

    The prefix prepended to any path sent to merger. The default is the empty unit path ([]).