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 the Zipper type.
static <A> Hash<Zipper<A>>	Hash.zipperHash(Hash<A> ha)	A hash instance for the Zipper 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).