Class PSetter<S,T,A,B>

java.lang.Object

fj.data.optic.PSetter<S,T,A,B>

Type Parameters:

S - the source of a PSetter

T - the modified source of a PSetter

A - the target of a PSetter

B - the modified target of a PSetter

Direct Known Subclasses:

Setter

public abstract class PSetter<S,T,A,B>
extends Object

A PSetter is a generalisation of Functor map:

• map: (A => B) => F[A] => F[B]
• modify: (A => B) => S => T

PSetter stands for Polymorphic Setter as it set and modify methods change a type A to B and S to T.

PTraversal, POptional, PPrism, PLens and PIso are valid PSetter

Constructor Summary

Constructors

Constructor	Description
PSetter()

Method Summary

Modifier and Type	Method	Description
final <C,D> PSetter<S,T,C,D>	composeIso(PIso<A,B,C,D> other)	compose a PSetter with a PIso
final <C,D> PSetter<S,T,C,D>	composeLens(PLens<A,B,C,D> other)	compose a PSetter with a PLens
final <C,D> PSetter<S,T,C,D>	composeOptional(POptional<A,B,C,D> other)	compose a PSetter with a POptional
final <C,D> PSetter<S,T,C,D>	composePrism(PPrism<A,B,C,D> other)	compose a PSetter with a PPrism
final <C,D> PSetter<S,T,C,D>	composeSetter(PSetter<A,B,C,D> other)	compose a PSetter with a PSetter
final <C,D> PSetter<S,T,C,D>	composeTraversal(PTraversal<A,B,C,D> other)	compose a PSetter with a PTraversal
abstract F<S,T>	modify(F<A,B> f)	modify polymorphically the target of a PSetter with a function
static <S,T> PSetter<Either<S,S>, Either<T,T>, S, T>	pCodiagonal()
static <S,T> PSetter<S,T,S,T>	pId()
static <S,T,A,B> PSetter<S,T,A,B>	pSetter(F<F<A,B>,F<S,T>> modify)
abstract F<S,T>	set(B b)	set polymorphically the target of a PSetter with a value
final <S1,T1> PSetter<Either<S,S1>, Either<T,T1>, A, B>	sum(PSetter<S1,T1,A,B> other)	join two PSetter with the same target

Methods inherited from class Object

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

Constructor Details

PSetter

PSetter()

Method Details

modify

public abstract F<S,T> modify(F<A,B> f)

modify polymorphically the target of a PSetter with a function

set

public abstract F<S,T> set(B b)

set polymorphically the target of a PSetter with a value

sum

public final <S1,T1>
PSetter<Either<S,S1>, Either<T,T1>, A, B> sum(PSetter<S1,T1,A,B> other)

join two PSetter with the same target

composeSetter

public final <C,D> PSetter<S,T,C,D> composeSetter(PSetter<A,B,C,D> other)

compose a PSetter with a PSetter

composeTraversal

public final <C,D> PSetter<S,T,C,D> composeTraversal(PTraversal<A,B,C,D> other)

compose a PSetter with a PTraversal

composeOptional

public final <C,D> PSetter<S,T,C,D> composeOptional(POptional<A,B,C,D> other)

compose a PSetter with a POptional

composePrism

public final <C,D> PSetter<S,T,C,D> composePrism(PPrism<A,B,C,D> other)

compose a PSetter with a PPrism

composeLens

public final <C,D> PSetter<S,T,C,D> composeLens(PLens<A,B,C,D> other)

compose a PSetter with a PLens

composeIso

public final <C,D> PSetter<S,T,C,D> composeIso(PIso<A,B,C,D> other)

compose a PSetter with a PIso

pId

public static <S,T> PSetter<S,T,S,T> pId()

pCodiagonal

public static <S,T>
PSetter<Either<S,S>, Either<T,T>, S, T> pCodiagonal()

pSetter

public static <S,T,A,B> PSetter<S,T,A,B> pSetter(F<F<A,B>,F<S,T>> modify)