Package fj.data.optic

Class Traversal<S,A>

java.lang.Object

fj.data.optic.PTraversal<S,S,A,A>

fj.data.optic.Traversal<S,A>

public final class Traversal<S,A>
extends PTraversal<S,S,A,A>

Field Summary

Fields

Modifier and Type	Field	Description
(package private) PTraversal<S,S,A,A>	pTraversal

Constructor Summary

Constructors

Constructor	Description
Traversal(PTraversal<S,S,A,A> pTraversal)

Method Summary

Modifier and Type	Method	Description
Setter<S,A>	asSetter()	view a Traversal as a Setter
static <S> Traversal<Either<S,S>,S>	codiagonal()
<C> Setter<S,C>	composeSetter(Setter<A,C> other)	compose a Traversal with a Setter
<C> Traversal<S,C>	composeTraversal(Traversal<A,C> other)	compose a Traversal with a Traversal
<M> F<S,M>	foldMap(Monoid<M> monoid, F<A,M> f)	map each target to a Monoid and combine the results
static <S> Traversal<S,S>	id()
<L> F<S,Either<L,S>>	modifyEitherF(F<A,Either<L,A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
<C> F<S,F<C,S>>	modifyFunctionF(F<A,F<C,A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,IO<S>>	modifyIOF(F<A,IO<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,List<S>>	modifyListF(F<A,List<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,Option<S>>	modifyOptionF(F<A,Option<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,P1<S>>	modifyP1F(F<A,P1<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,Promise<S>>	modifyPromiseF(F<A,Promise<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,Stream<S>>	modifyStreamF(F<A,Stream<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,Trampoline<S>>	modifyTrampolineF(F<A,Trampoline<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
F<S,V2<S>>	modifyV2F(F<A,V2<A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
<E> F<S,Validation<E,S>>	modifyValidationF(Semigroup<E> s, F<A,Validation<E,A>> f)	modify polymorphically the target of a PTraversal with an Applicative function
<S1> Traversal<Either<S,S1>,A>	sum(Traversal<S1,A> other)	join two Traversal with the same target
static <S,A> Traversal<S,A>	traversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F<S,A> get4, F<S,A> get5, F<S,A> get6, F7<A,A,A,A,A,A,S,S> set)
static <S,A> Traversal<S,A>	traversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F<S,A> get4, F<S,A> get5, F6<A,A,A,A,A,S,S> set)
static <S,A> Traversal<S,A>	traversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F<S,A> get4, F5<A,A,A,A,S,S> set)
static <S,A> Traversal<S,A>	traversal(F<S,A> get1, F<S,A> get2, F<S,A> get3, F4<A,A,A,S,S> set)
static <S,A> Traversal<S,A>	traversal(F<S,A> get1, F<S,A> get2, F3<A,A,S,S> set)

Methods inherited from class fj.data.optic.PTraversal

all, asFold, composeFold, composeFold, composeIso, composeLens, composeOptional, composePrism, composeSetter, composeTraversal, exist, find, fold, getAll, headOption, modify, pCodiagonal, pId, pTraversal, pTraversal, pTraversal, pTraversal, pTraversal, set, sum

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pTraversal

final PTraversal<S,S,A,A> pTraversal

Constructor Detail

Traversal

public Traversal(PTraversal<S,S,A,A> pTraversal)

Method Detail

modifyFunctionF

public <C> F<S,F<C,S>> modifyFunctionF(F<A,F<C,A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyFunctionF in class PTraversal<S,S,A,A>

modifyEitherF

public <L> F<S,Either<L,S>> modifyEitherF(F<A,Either<L,A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyEitherF in class PTraversal<S,S,A,A>

modifyIOF

public F<S,IO<S>> modifyIOF(F<A,IO<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyIOF in class PTraversal<S,S,A,A>

modifyTrampolineF

public F<S,Trampoline<S>> modifyTrampolineF(F<A,Trampoline<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyTrampolineF in class PTraversal<S,S,A,A>

modifyPromiseF

public F<S,Promise<S>> modifyPromiseF(F<A,Promise<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyPromiseF in class PTraversal<S,S,A,A>

modifyListF

public F<S,List<S>> modifyListF(F<A,List<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyListF in class PTraversal<S,S,A,A>

modifyOptionF

public F<S,Option<S>> modifyOptionF(F<A,Option<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyOptionF in class PTraversal<S,S,A,A>

modifyStreamF

public F<S,Stream<S>> modifyStreamF(F<A,Stream<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyStreamF in class PTraversal<S,S,A,A>

modifyP1F

public F<S,P1<S>> modifyP1F(F<A,P1<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyP1F in class PTraversal<S,S,A,A>

modifyValidationF

public <E> F<S,Validation<E,S>> modifyValidationF(Semigroup<E> s,
                                                              F<A,Validation<E,A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyValidationF in class PTraversal<S,S,A,A>

modifyV2F

public F<S,V2<S>> modifyV2F(F<A,V2<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

modifyV2F in class PTraversal<S,S,A,A>

foldMap

public <M> F<S,M> foldMap(Monoid<M> monoid,
                                F<A,M> f)

Description copied from class: PTraversal

map each target to a Monoid and combine the results

Specified by:

foldMap in class PTraversal<S,S,A,A>

sum

public <S1> Traversal<Either<S,S1>,A> sum(Traversal<S1,A> other)

join two Traversal with the same target

composeSetter

public <C> Setter<S,C> composeSetter(Setter<A,C> other)

compose a Traversal with a Setter

composeTraversal

public <C> Traversal<S,C> composeTraversal(Traversal<A,C> other)

compose a Traversal with a Traversal

asSetter

public Setter<S,A> asSetter()

view a Traversal as a Setter

Overrides:

asSetter in class PTraversal<S,S,A,A>

id

public static <S> Traversal<S,S> id()

codiagonal

public static <S> Traversal<Either<S,S>,S> codiagonal()

traversal

public static <S,A> Traversal<S,A> traversal(F<S,A> get1,
                                                         F<S,A> get2,
                                                         F3<A,A,S,S> set)

traversal

public static <S,A> Traversal<S,A> traversal(F<S,A> get1,
                                                         F<S,A> get2,
                                                         F<S,A> get3,
                                                         F4<A,A,A,S,S> set)

traversal

public static <S,A> Traversal<S,A> traversal(F<S,A> get1,
                                                         F<S,A> get2,
                                                         F<S,A> get3,
                                                         F<S,A> get4,
                                                         F5<A,A,A,A,S,S> set)

traversal

public static <S,A> Traversal<S,A> traversal(F<S,A> get1,
                                                         F<S,A> get2,
                                                         F<S,A> get3,
                                                         F<S,A> get4,
                                                         F<S,A> get5,
                                                         F6<A,A,A,A,A,S,S> set)

traversal

public static <S,A> Traversal<S,A> traversal(F<S,A> get1,
                                                         F<S,A> get2,
                                                         F<S,A> get3,
                                                         F<S,A> get4,
                                                         F<S,A> get5,
                                                         F<S,A> get6,
                                                         F7<A,A,A,A,A,A,S,S> set)