|Utilities for addressing and modifying leaves of
binary bisection trees.
|A path in a binary tree.
It is used mainly in connection with BisectionTree.BisectionTree.
|A representation of a binary tree with a hole that
can be efficiently filled.
|Lookup a subdomain of a function according to a bisection path.
Return the restrited function as well as a zipper that allows
an efficient modification of the function on the looked up
|:: ERFnDomApprox box varid domra ranra fa|
|=> FnZipper fa||a function on a larger domain and a highlighted subdomain
|-> fa||a function of the highlighted subdomain
|Modify a function in its subdomain as expressed by
|Produced by Haddock version 2.4.2|