fj.data.optic

Class Setter<S,A>

java.lang.Object

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

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

public final class Setter<S,A>
extends PSetter<S,S,A,A>

PSetter with a monomorphic modify function

Constructor Summary

Constructors

Constructor and Description
Setter(PSetter<S,S,A,A> pSetter)

Method Summary

Modifier and Type	Method and Description
static <S> Setter<Either<S,S>,S>	codiagonal()
<C> Setter<S,C>	composeIso(Iso<A,C> other) compose a Setter with an Iso
<C> Setter<S,C>	composeSetter(Setter<A,C> other) compose a Setter with a Setter
<C> Setter<S,C>	composeTraversal(Traversal<A,C> other) compose a Setter with a Traversal
static <S> Setter<S,S>	id()
F<S,S>	modify(F<A,A> f) modify polymorphically the target of a PSetter with a function
F<S,S>	set(A b) set polymorphically the target of a PSetter with a value
static <S,A> Setter<S,A>	setter(F<F<A,A>,F<S,S>> modify) alias for PSetter constructor with a monomorphic modify function
<S1> Setter<Either<S,S1>,A>	sum(Setter<S1,A> other) join two Setter with the same target

Methods inherited from class fj.data.optic.PSetter

composeIso, composeLens, composeOptional, composePrism, composeSetter, composeTraversal, pCodiagonal, pId, pSetter, sum

Methods inherited from class java.lang.Object

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

Constructor Detail

Setter

public Setter(PSetter<S,S,A,A> pSetter)

Method Detail

modify

public F<S,S> modify(F<A,A> f)

Description copied from class: PSetter

modify polymorphically the target of a PSetter with a function

Specified by:

modify in class PSetter<S,S,A,A>

set

public F<S,S> set(A b)

Description copied from class: PSetter

set polymorphically the target of a PSetter with a value

Specified by:

set in class PSetter<S,S,A,A>

sum

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

join two Setter with the same target

composeSetter

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

compose a Setter with a Setter

composeTraversal

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

compose a Setter with a Traversal

composeIso

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

compose a Setter with an Iso

id

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

codiagonal

public static final <S> Setter<Either<S,S>,S> codiagonal()

setter

public static final <S,A> Setter<S,A> setter(F<F<A,A>,F<S,S>> modify)

alias for PSetter constructor with a monomorphic modify function