Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Utilities for addressing and modifying leaves of binary bisection trees.
- data BisecTreePath
- path2dom :: ERIntApprox ira => ira -> BisecTreePath -> ira
- data FnZipper f
- lookupSubdomain :: ERFnDomApprox box varid domra ranra fa => fa -> BisecTreePath -> (fa, FnZipper fa)
- updateFnZ :: ERFnDomApprox box varid domra ranra fa => FnZipper fa -> fa -> fa
Documentation
data BisecTreePath Source
A path in a binary tree.
It is used mainly in connection with BisectionTree.BisectionTree
.
:: ERIntApprox ira | |
=> ira | root interval |
-> BisecTreePath | |
-> ira |
Assuming that bisection happens at default points as defined by
bisectDomain
and starts from the given root interval.
A representation of a binary tree with a hole that can be efficiently filled.
lookupSubdomain :: ERFnDomApprox box varid domra ranra fa => fa -> BisecTreePath -> (fa, FnZipper fa)Source
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.