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
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Setter<S,A>
asSetter()
static <S> Traversal<Either<S,S>,S>
codiagonal()
<C> Setter<S,C>
composeSetter(Setter<A,C> other)
<C> Traversal<S,C>
composeTraversal(Traversal<A,C> other)
<M> F<S,M>
foldMap(Monoid<M> monoid, F<A,M> f)
map each target to aMonoid
and combine the resultsstatic <S> Traversal<S,S>
id()
<L> F<S,Either<L,S>>
modifyEitherF(F<A,Either<L,A>> f)
modify polymorphically the target of aPTraversal
with an Applicative function<C> F<S,F<C,S>>
modifyFunctionF(F<A,F<C,A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,IO<S>>
modifyIOF(F<A,IO<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,List<S>>
modifyListF(F<A,List<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Option<S>>
modifyOptionF(F<A,Option<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,P1<S>>
modifyP1F(F<A,P1<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Promise<S>>
modifyPromiseF(F<A,Promise<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Stream<S>>
modifyStreamF(F<A,Stream<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,Trampoline<S>>
modifyTrampolineF(F<A,Trampoline<A>> f)
modify polymorphically the target of aPTraversal
with an Applicative functionF<S,V2<S>>
modifyV2F(F<A,V2<A>> f)
modify polymorphically the target of aPTraversal
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 aPTraversal
with an Applicative function<S1> Traversal<Either<S,S1>,A>
sum(Traversal<S1,A> other)
join twoTraversal
with the same targetstatic <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
-
-
-
-
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 aPTraversal
with an Applicative function- Specified by:
modifyFunctionF
in classPTraversal<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 aPTraversal
with an Applicative function- Specified by:
modifyEitherF
in classPTraversal<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 aPTraversal
with an Applicative function
-
modifyTrampolineF
public F<S,Trampoline<S>> modifyTrampolineF(F<A,Trampoline<A>> f)
Description copied from class:PTraversal
modify polymorphically the target of aPTraversal
with an Applicative function- Specified by:
modifyTrampolineF
in classPTraversal<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 aPTraversal
with an Applicative function- Specified by:
modifyPromiseF
in classPTraversal<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 aPTraversal
with an Applicative function- Specified by:
modifyListF
in classPTraversal<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 aPTraversal
with an Applicative function- Specified by:
modifyOptionF
in classPTraversal<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 aPTraversal
with an Applicative function- Specified by:
modifyStreamF
in classPTraversal<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 aPTraversal
with an Applicative function
-
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 aPTraversal
with an Applicative function- Specified by:
modifyValidationF
in classPTraversal<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 aPTraversal
with an Applicative function
-
foldMap
public <M> F<S,M> foldMap(Monoid<M> monoid, F<A,M> f)
Description copied from class:PTraversal
map each target to aMonoid
and combine the results
-
sum
public <S1> Traversal<Either<S,S1>,A> sum(Traversal<S1,A> other)
join twoTraversal
with the same target
-
id
public static <S> Traversal<S,S> id()
-
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)
-
-