Uses of Class
fj.data.Zipper
-
Packages that use Zipper 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 Zipper in fj
Methods in fj that return types with arguments of type Zipper Modifier and Type Method Description default F<Zipper<A>,Zipper<B>>
F. mapZipper()
Promotes this function to map over a Zipper.default F<Zipper<A>,Zipper<B>>
F. mapZipper()
Promotes this function to map over a Zipper.static <A> Equal<Zipper<A>>
Equal. zipperEqual(Equal<A> ea)
An equal instance for theZipper
type.static <A> Hash<Zipper<A>>
Hash. zipperHash(Hash<A> ha)
A hash instance for theZipper
type.default F<A,Zipper<B>>
F. zipperK()
Promotes this function to return its value in a Zipper.default F2<Zipper<A>,Zipper<B>,Zipper<C>>
F2. zipZipperM()
Promotes this function to zip two zippers, applying the function lock-step over both zippers in both directions.default F2<Zipper<A>,Zipper<B>,Zipper<C>>
F2. zipZipperM()
Promotes this function to zip two zippers, applying the function lock-step over both zippers in both directions.default F2<Zipper<A>,Zipper<B>,Zipper<C>>
F2. zipZipperM()
Promotes this function to zip two zippers, applying the function lock-step over both zippers in both directions. -
Uses of Zipper in fj.control.parallel
Methods in fj.control.parallel that return types with arguments of type Zipper Modifier and Type Method Description <A,B>
Promise<Zipper<B>>ParModule. parExtend(Zipper<A> za, F<Zipper<A>,B> f)
Maps the given function across all positions of the given zipper in parallel.<A,B>
Promise<Zipper<B>>ParModule. parMap(Zipper<A> za, F<A,B> f)
Maps a function across a Zipper in parallel.Methods in fj.control.parallel with parameters of type Zipper Modifier and Type Method Description <A,B>
Promise<Zipper<B>>ParModule. parExtend(Zipper<A> za, F<Zipper<A>,B> f)
Maps the given function across all positions of the given zipper in parallel.<A,B>
Promise<Zipper<B>>ParModule. parMap(Zipper<A> za, F<A,B> f)
Maps a function across a Zipper in parallel.Method parameters in fj.control.parallel with type arguments of type Zipper Modifier and Type Method Description <A,B>
Promise<Zipper<B>>ParModule. parExtend(Zipper<A> za, F<Zipper<A>,B> f)
Maps the given function across all positions of the given zipper in parallel. -
Uses of Zipper in fj.data
Methods in fj.data that return Zipper Modifier and Type Method Description <B> Zipper<B>
Zipper. cobind(F<Zipper<A>,B> f)
Maps over variations of this zipper, such that the given function is applied to each variation (comonad pattern).Zipper<A>
Zipper. cycleNext()
Move the focus to the next element.Zipper<A>
Zipper. cyclePrevious()
Move the focus to the previous element.Zipper<A>
Zipper. deleteOthers()
Deletes all elements in the zipper except the focus.Zipper<A>
Zipper. insertLeft(A a)
Inserts an element to the left of the focus, then moves the focus to the new element.Zipper<A>
Zipper. insertRight(A a)
Inserts an element to the right of the focus, then moves the focus to the new element.<B> Zipper<B>
Zipper. map(F<A,B> f)
Maps the given function across the elements of this zipper (covariant functor pattern).Zipper<Zipper<A>>
Zipper. positions()
Creates a zipper of variations of this zipper, in which each element is focused, with this zipper as the focus of the zipper of zippers (comonad pattern).Zipper<A>
Zipper. replace(A a)
Replaces the element in focus with the given element.static <A> Zipper<A>
Zipper. single(A a)
Creates a new zipper with a single element.Zipper<A>
Zipper. tryNext()
Attempts to move the focus to the next element, or throws an error if there are no more elements.Zipper<A>
Zipper. tryPrevious()
Attempts to move the focus to the previous element, or throws an error if there are no more elements.static <A> Zipper<A>
Zipper. zipper(Stream<A> left, A focus, Stream<A> right)
Creates a new Zipper with the given streams before and after the focus, and the given focused item.static <A> Zipper<A>
Zipper. zipper(P3<Stream<A>,A,Stream<A>> p)
Creates a new Zipper from the given triple.<B,C>
Zipper<C>Zipper. zipWith(Zipper<B> bs, F<A,F<B,C>> f)
Zips this Zipper with another, applying the given function lock-step over both zippers in both directions.<B,C>
Zipper<C>Zipper. zipWith(Zipper<B> bs, F2<A,B,C> f)
Zips this Zipper with another, applying the given function lock-step over both zippers in both directions.Zipper<P2<A,java.lang.Boolean>>
Zipper. zipWithFocus()
Zips the elements of this zipper with a boolean that indicates whether that element has focus.Methods in fj.data that return types with arguments of type Zipper Modifier and Type Method Description Option<Zipper<A>>
Zipper. deleteLeft()
Possibly deletes the element at the focus, then moves the element on the left into focus.Option<Zipper<A>>
Zipper. deleteLeftCycle()
Possibly deletes the element at the focus, then move the element on the left into focus.Option<Zipper<A>>
Zipper. deleteRight()
Possibly deletes the element at the focus, then moves the element on the right into focus.Option<Zipper<A>>
Zipper. deleteRightCycle()
Possibly deletes the element at the focus, then move the element on the right into focus.static <A> Equal<Zipper<A>>
Zipper. eq(Equal<A> e)
An Equal instance for Zippers.Option<Zipper<A>>
Zipper. find(F<A,java.lang.Boolean> p)
Moves the focus to the element matching the given predicate, if present.static <A> Option<Zipper<A>>
Zipper. fromStream(Stream<A> a)
Possibly create a zipper if the provided stream has at least one element, otherwise None.static <A> Option<Zipper<A>>
Zipper. fromStreamEnd(Stream<A> a)
Possibly create a zipper if the provided stream has at least one element, otherwise None.java.util.Iterator<Zipper<A>>
Zipper. iterator()
Returns an iterator of all the positions of this Zipper, starting from the leftmost position.static <A> F<java.lang.Integer,F<Zipper<A>,Option<Zipper<A>>>>
Zipper. move()
A first-class version of the move function.static <A> F<java.lang.Integer,F<Zipper<A>,Option<Zipper<A>>>>
Zipper. move()
A first-class version of the move function.Option<Zipper<A>>
Zipper. move(int n)
Move the focus to the specified index.Option<Zipper<A>>
Zipper. next()
Possibly moves the focus to the next element in the list.static <A> F<Zipper<A>,Option<Zipper<A>>>
Zipper. next_()
First-class version of the next() function.static <A> F<Zipper<A>,Option<Zipper<A>>>
Zipper. next_()
First-class version of the next() function.static <A> Ord<Zipper<A>>
Zipper. ord(Ord<A> o)
An Ord instance for Zippers.static <A> F<Zipper<A>,P3<Stream<A>,A,Stream<A>>>
Zipper. p_()
A first-class function that yields the product-3 representation of a given Zipper.Zipper<Zipper<A>>
Zipper. positions()
Creates a zipper of variations of this zipper, in which each element is focused, with this zipper as the focus of the zipper of zippers (comonad pattern).Option<Zipper<A>>
Zipper. previous()
Possibly moves the focus to the previous element in the list.static <A> F<Zipper<A>,Option<Zipper<A>>>
Zipper. previous_()
First-class version of the previous() function.static <A> F<Zipper<A>,Option<Zipper<A>>>
Zipper. previous_()
First-class version of the previous() function.static <A> Show<Zipper<A>>
Zipper. show(Show<A> s)
A Show instance for Zippers.Option<Zipper<A>>
IterableW. toZipper()
static <A> F3<Stream<A>,A,Stream<A>,Zipper<A>>
Zipper. zipper()
First-class constructor of zippers.Methods in fj.data with parameters of type Zipper Modifier and Type Method Description <B,C>
Zipper<C>Zipper. zipWith(Zipper<B> bs, F<A,F<B,C>> f)
Zips this Zipper with another, applying the given function lock-step over both zippers in both directions.<B,C>
Zipper<C>Zipper. zipWith(Zipper<B> bs, F2<A,B,C> f)
Zips this Zipper with another, applying the given function lock-step over both zippers in both directions.Method parameters in fj.data with type arguments of type Zipper Modifier and Type Method Description <B> Zipper<B>
Zipper. cobind(F<Zipper<A>,B> f)
Maps over variations of this zipper, such that the given function is applied to each variation (comonad pattern).
-