public final class Traversal<S,A> extends PTraversal<S,S,A,A>
| Constructor and Description |
|---|
Traversal(PTraversal<S,S,A,A> pTraversal) |
| Modifier and Type | Method and 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 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(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) |
all, asFold, composeFold, composeFold, composeIso, composeLens, composeOptional, composePrism, composeSetter, composeTraversal, exist, find, fold, getAll, headOption, modify, pCodiagonal, pId, pTraversal, pTraversal, pTraversal, pTraversal, pTraversal, set, sumpublic Traversal(PTraversal<S,S,A,A> pTraversal)
public <C> F<S,F<C,S>> modifyFunctionF(F<A,F<C,A>> f)
PTraversalPTraversal with an Applicative functionmodifyFunctionF in class PTraversal<S,S,A,A>public <L> F<S,Either<L,S>> modifyEitherF(F<A,Either<L,A>> f)
PTraversalPTraversal with an Applicative functionmodifyEitherF in class PTraversal<S,S,A,A>public F<S,IO<S>> modifyIOF(F<A,IO<A>> f)
PTraversalPTraversal with an Applicative functionpublic F<S,Trampoline<S>> modifyTrampolineF(F<A,Trampoline<A>> f)
PTraversalPTraversal with an Applicative functionmodifyTrampolineF in class PTraversal<S,S,A,A>public F<S,Promise<S>> modifyPromiseF(F<A,Promise<A>> f)
PTraversalPTraversal with an Applicative functionmodifyPromiseF in class PTraversal<S,S,A,A>public F<S,List<S>> modifyListF(F<A,List<A>> f)
PTraversalPTraversal with an Applicative functionmodifyListF in class PTraversal<S,S,A,A>public F<S,Option<S>> modifyOptionF(F<A,Option<A>> f)
PTraversalPTraversal with an Applicative functionmodifyOptionF in class PTraversal<S,S,A,A>public F<S,Stream<S>> modifyStreamF(F<A,Stream<A>> f)
PTraversalPTraversal with an Applicative functionmodifyStreamF in class PTraversal<S,S,A,A>public F<S,P1<S>> modifyP1F(F<A,P1<A>> f)
PTraversalPTraversal with an Applicative functionpublic <E> F<S,Validation<E,S>> modifyValidationF(F<A,Validation<E,A>> f)
PTraversalPTraversal with an Applicative functionmodifyValidationF in class PTraversal<S,S,A,A>public F<S,V2<S>> modifyV2F(F<A,V2<A>> f)
PTraversalPTraversal with an Applicative functionpublic <M> F<S,M> foldMap(Monoid<M> monoid, F<A,M> f)
PTraversalMonoid and combine the resultspublic final <S1> Traversal<Either<S,S1>,A> sum(Traversal<S1,A> other)
Traversal with the same targetpublic static <S> Traversal<S,S> id()
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)
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)
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)