|
Data.Number.ER.RnToRm.BisectionTree.Path | Portability | portable | Stability | experimental | Maintainer | mik@konecny.aow.cz |
|
|
|
Description |
Utilities for addressing and modifying leaves of
binary bisection trees.
|
|
Synopsis |
|
|
|
Documentation |
|
|
A path in a binary tree.
It is used mainly in connection with BisectionTree.BisectionTree.
| Constructors | | Instances | |
|
|
|
|
|
|
A representation of a binary tree with a hole that
can be efficiently filled.
| Constructors | |
|
|
|
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
subdomain.
|
|
|
:: 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
| -> fa | | Modify a function in its subdomain as expressed by
the zipper.
|
|
|
Produced by Haddock version 2.1.0 |