Uses of Class
fj.data.TreeZipper
-
Packages that use TreeZipper Package Description fj Types that set the premise for the existence of Functional Java.fj.control.parallel Parallelization strategies.fj.data Common algebraic data types. -
-
Uses of TreeZipper in fj
Methods in fj that return types with arguments of type TreeZipper Modifier and Type Method Description default F<TreeZipper<A>,TreeZipper<B>>
F. mapTreeZipper()
Promotes this function to map over a TreeZipper.default F<TreeZipper<A>,TreeZipper<B>>
F. mapTreeZipper()
Promotes this function to map over a TreeZipper.static <A> Equal<TreeZipper<A>>
Equal. treeZipperEqual(Equal<A> ea)
An equal instance for theTreeZipper
type.static <A> Hash<TreeZipper<A>>
Hash. treeZipperHash(Hash<A> ha)
A hash instance for theTreeZipper
type.default F<A,TreeZipper<B>>
F. treeZipperK()
Promotes this function to return its value in a TreeZipper.default F2<TreeZipper<A>,TreeZipper<B>,TreeZipper<C>>
F2. zipTreeZipperM()
Promotes this function to zip two TreeZippers, applying the function lock-step over both zippers in all directions.default F2<TreeZipper<A>,TreeZipper<B>,TreeZipper<C>>
F2. zipTreeZipperM()
Promotes this function to zip two TreeZippers, applying the function lock-step over both zippers in all directions.default F2<TreeZipper<A>,TreeZipper<B>,TreeZipper<C>>
F2. zipTreeZipperM()
Promotes this function to zip two TreeZippers, applying the function lock-step over both zippers in all directions. -
Uses of TreeZipper in fj.control.parallel
Methods in fj.control.parallel that return types with arguments of type TreeZipper Modifier and Type Method Description <A,B>
Promise<TreeZipper<B>>ParModule. parExtend(TreeZipper<A> za, F<TreeZipper<A>,B> f)
Maps the given function across all positions of the given TreeZipper in parallel.<A,B>
Promise<TreeZipper<B>>ParModule. parMap(TreeZipper<A> za, F<A,B> f)
Maps a function across a TreeZipper in parallel.Methods in fj.control.parallel with parameters of type TreeZipper Modifier and Type Method Description <A,B>
Promise<TreeZipper<B>>ParModule. parExtend(TreeZipper<A> za, F<TreeZipper<A>,B> f)
Maps the given function across all positions of the given TreeZipper in parallel.<A,B>
Promise<TreeZipper<B>>ParModule. parMap(TreeZipper<A> za, F<A,B> f)
Maps a function across a TreeZipper in parallel.Method parameters in fj.control.parallel with type arguments of type TreeZipper Modifier and Type Method Description <A,B>
Promise<TreeZipper<B>>ParModule. parExtend(TreeZipper<A> za, F<TreeZipper<A>,B> f)
Maps the given function across all positions of the given TreeZipper in parallel. -
Uses of TreeZipper in fj.data
Methods in fj.data that return TreeZipper Modifier and Type Method Description <B> TreeZipper<B>
TreeZipper. cobind(F<TreeZipper<A>,B> f)
Maps the given function over the tree of all positions for this zipper (comonad pattern).static <A> TreeZipper<A>
TreeZipper. fromTree(Tree<A> t)
Creates a new tree zipper focused on the root of the given tree.TreeZipper<A>
TreeZipper. insertDownFirst(Tree<A> t)
Inserts a tree as the first child of the current node.TreeZipper<A>
TreeZipper. insertDownLast(Tree<A> t)
Inserts a tree as the last child of the current node.TreeZipper<A>
TreeZipper. insertLeft(Tree<A> t)
Inserts a tree to the left of the current position.TreeZipper<A>
TreeZipper. insertRight(Tree<A> t)
Inserts a tree to the right of the current position.<B> TreeZipper<B>
TreeZipper. map(F<A,B> f)
Maps the given function across this zipper (covariant functor pattern).TreeZipper<A>
TreeZipper. modifyLabel(F<A,A> f)
Modifies the label at the current node with the given function.TreeZipper<A>
TreeZipper. modifyTree(F<Tree<A>,Tree<A>> f)
Modifies the current node with the given function.TreeZipper<TreeZipper<A>>
TreeZipper. positions()
Returns a zipper over the tree of all possible permutations of this tree zipper (comonad pattern).TreeZipper<A>
TreeZipper. root()
Navigates to the top-most parent of the current location.TreeZipper<A>
TreeZipper. setLabel(A v)
Replaces the label of the current node with the given value.TreeZipper<A>
TreeZipper. setTree(Tree<A> t)
Replaces the current node with the given tree.static <A> TreeZipper<A>
TreeZipper. treeZipper(Tree<A> tree, Stream<Tree<A>> lefts, Stream<Tree<A>> rights, Stream<P3<Stream<Tree<A>>,A,Stream<Tree<A>>>> parents)
Creates a new tree zipper given a currently selected tree, a forest on the left, a forest on the right, and a stream of parent contexts.<B,C>
TreeZipper<C>TreeZipper. zipWith(TreeZipper<B> bs, F<A,F<B,C>> f)
Zips this TreeZipper with another, applying the given function lock-step over both zippers in all directions.<B,C>
TreeZipper<C>TreeZipper. zipWith(TreeZipper<B> bs, F2<A,B,C> f)
Zips this TreeZipper with another, applying the given function lock-step over both zippers in all directions.TreeZipper<P2<A,java.lang.Boolean>>
TreeZipper. zipWithFocus()
Zips the nodes in this zipper with a boolean that indicates whether that node has focus.Methods in fj.data that return types with arguments of type TreeZipper Modifier and Type Method Description Option<TreeZipper<A>>
TreeZipper. delete()
Removes the current node from the tree.private static <A> F<TreeZipper<A>,P2<TreeZipper<A>,P1<Stream<TreeZipper<A>>>>>
TreeZipper. dwn()
private static <A> F<TreeZipper<A>,P2<TreeZipper<A>,P1<Stream<TreeZipper<A>>>>>
TreeZipper. dwn()
private static <A> F<TreeZipper<A>,P2<TreeZipper<A>,P1<Stream<TreeZipper<A>>>>>
TreeZipper. dwn()
static <A> Equal<TreeZipper<A>>
TreeZipper. eq(Equal<A> e)
An Equal instance for tree zippers.static <A> F2<F<Tree<A>,java.lang.Boolean>,TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. findChild()
A first-class version of the findChild function.static <A> F2<F<Tree<A>,java.lang.Boolean>,TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. findChild()
A first-class version of the findChild function.Option<TreeZipper<A>>
TreeZipper. findChild(F<Tree<A>,java.lang.Boolean> p)
Navigates to the first child of the current location, that satisfies the given predicate.Option<TreeZipper<A>>
TreeZipper. firstChild()
Navigtes to the first child of the current location.static <A> Option<TreeZipper<A>>
TreeZipper. fromForest(Stream<Tree<A>> ts)
Creates a new tree zipper focused on the first element of the given forest.static <A> F<Tree<A>,TreeZipper<A>>
TreeZipper. fromTree()
First-class conversion of a Tree to the corresponding tree zipper.Option<TreeZipper<A>>
TreeZipper. getChild(int n)
Navigates to the given child of the current location, starting at index 0.Option<TreeZipper<A>>
TreeZipper. insertDownAt(int n, Tree<A> t)
Inserts a tree at the specified location in the current node's stream of children.java.util.Iterator<TreeZipper<A>>
TreeZipper. iterator()
Returns an iterator of all the positions of this TreeZipper.Option<TreeZipper<A>>
TreeZipper. lastChild()
Navigtes to the last child of the current location.Option<TreeZipper<A>>
TreeZipper. left()
Navigates to the left sibling of the current location.static <A> F<TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. left_()
A first-class version of the left() function.static <A> F<TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. left_()
A first-class version of the left() function.static <A> F<TreeZipper<A>,P4<Tree<A>,Stream<Tree<A>>,Stream<Tree<A>>,Stream<P3<Stream<Tree<A>>,A,Stream<Tree<A>>>>>>
TreeZipper. p_()
A first-class function that returns the product-4 representation of a given zipper.Option<TreeZipper<A>>
TreeZipper. parent()
Navigates to the parent of the current location.TreeZipper<TreeZipper<A>>
TreeZipper. positions()
Returns a zipper over the tree of all possible permutations of this tree zipper (comonad pattern).Option<TreeZipper<A>>
TreeZipper. right()
Navigates to the right sibling of the current location.static <A> F<TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. right_()
A first-class version of the right() function.static <A> F<TreeZipper<A>,Option<TreeZipper<A>>>
TreeZipper. right_()
A first-class version of the right() function.static <A> F<TreeZipper<A>,TreeZipper<A>>
TreeZipper. root_()
A first-class version of the root function.static <A> F<TreeZipper<A>,TreeZipper<A>>
TreeZipper. root_()
A first-class version of the root function.static <A> Show<TreeZipper<A>>
TreeZipper. show(Show<A> s)
A Show instance for tree zippers.static <A> F<Tree<A>,F<Stream<Tree<A>>,F<Stream<Tree<A>>,F<Stream<P3<Stream<Tree<A>>,A,Stream<Tree<A>>>>,TreeZipper<A>>>>>
TreeZipper. treeZipper()
First-class constructor for tree zippers.private Stream<Tree<TreeZipper<A>>>
TreeZipper. uf(F<TreeZipper<A>,Option<TreeZipper<A>>> f)
Methods in fj.data with parameters of type TreeZipper Modifier and Type Method Description <B,C>
TreeZipper<C>TreeZipper. zipWith(TreeZipper<B> bs, F<A,F<B,C>> f)
Zips this TreeZipper with another, applying the given function lock-step over both zippers in all directions.<B,C>
TreeZipper<C>TreeZipper. zipWith(TreeZipper<B> bs, F2<A,B,C> f)
Zips this TreeZipper with another, applying the given function lock-step over both zippers in all directions.Method parameters in fj.data with type arguments of type TreeZipper Modifier and Type Method Description <B> TreeZipper<B>
TreeZipper. cobind(F<TreeZipper<A>,B> f)
Maps the given function over the tree of all positions for this zipper (comonad pattern).private Stream<Tree<TreeZipper<A>>>
TreeZipper. uf(F<TreeZipper<A>,Option<TreeZipper<A>>> f)
private Stream<Tree<TreeZipper<A>>>
TreeZipper. uf(F<TreeZipper<A>,Option<TreeZipper<A>>> f)
-