io.atlassian.fugue.optic

Class Traversal<S,A>

java.lang.Object

io.atlassian.fugue.optic.PTraversal<S,S,A,A>

io.atlassian.fugue.optic.Traversal<S,A>

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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> Function<S,M>	foldMap(Monoid<M> monoid, Function<A,M> f) map each target to a Monoid and combine the results
static <S> Traversal<S,S>	id()
<L> Function<S,Either<L,S>>	modifyEitherF(Function<A,Either<L,A>> f) modify polymorphically the target of a PTraversal with an Applicative function
<C> Function<S,Function<C,S>>	modifyFunctionF(Function<A,Function<C,A>> f) modify polymorphically the target of a PTraversal with an Applicative function
Function<S,Iterable<S>>	modifyIterableF(Function<A,Iterable<A>> f) modify polymorphically the target of a PTraversal with an Applicative function
Function<S,Option<S>>	modifyOptionF(Function<A,Option<A>> f) modify polymorphically the target of a PTraversal with an Applicative function
Function<S,Pair<S,S>>	modifyPairF(Function<A,Pair<A,A>> f) modify polymorphically the target of a PTraversal with an Applicative function
Function<S,Supplier<S>>	modifySupplierF(Function<A,Supplier<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(Function<S,A> get1, Function<S,A> get2, BiFunction<A,A,Function<S,S>> set)
static <S,A> Traversal<S,A>	traversal(Function<S,A> get1, Function<S,A> get2, Function<S,A> get3, Function<A,Function<A,Function<A,Function<S,S>>>> set)
static <S,A> Traversal<S,A>	traversal(Function<S,A> get1, Function<S,A> get2, Function<S,A> get3, Function<S,A> get4, Function<A,Function<A,Function<A,Function<A,Function<S,S>>>>> set)
static <S,A> Traversal<S,A>	traversal(Function<S,A> get1, Function<S,A> get2, Function<S,A> get3, Function<S,A> get4, Function<S,A> get5, Function<A,Function<A,Function<A,Function<A,Function<A,Function<S,S>>>>>> set)
static <S,A> Traversal<S,A>	traversal(Function<S,A> get1, Function<S,A> get2, Function<S,A> get3, Function<S,A> get4, Function<S,A> get5, Function<S,A> get6, Function<A,Function<A,Function<A,Function<A,Function<A,Function<A,Function<S,S>>>>>>> set)

Methods inherited from class io.atlassian.fugue.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

Constructor Detail

Traversal

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

Method Detail

modifyFunctionF

public <C> Function<S,Function<C,S>> modifyFunctionF(Function<A,Function<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> Function<S,Either<L,S>> modifyEitherF(Function<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>

modifyOptionF

public Function<S,Option<S>> modifyOptionF(Function<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>

modifyIterableF

public Function<S,Iterable<S>> modifyIterableF(Function<A,Iterable<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

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

modifySupplierF

public Function<S,Supplier<S>> modifySupplierF(Function<A,Supplier<A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

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

modifyPairF

public Function<S,Pair<S,S>> modifyPairF(Function<A,Pair<A,A>> f)

Description copied from class: PTraversal

modify polymorphically the target of a PTraversal with an Applicative function

Specified by:

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

foldMap

public <M> Function<S,M> foldMap(Monoid<M> monoid,
                                 Function<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 final <S1> Traversal<Either<S,S1>,A> sum(Traversal<S1,A> other)

join two Traversal with the same target

composeSetter

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

compose a Traversal with a Setter

composeTraversal

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

compose a Traversal with a Traversal

asSetter

public final 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(Function<S,A> get1,
                                             Function<S,A> get2,
                                             BiFunction<A,A,Function<S,S>> set)

traversal

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

traversal

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

traversal

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

traversal

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