fj.data.optic

Class Prism<S,A>

java.lang.Object

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

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

public final class Prism<S,A>
extends PPrism<S,S,A,A>

PPrism restricted to monomorphic update

Constructor Summary

Constructors

Constructor and Description
Prism(PPrism<S,S,A,A> pPrism)

Method Summary

Modifier and Type	Method and Description
Optional<S,A>	asOptional() view a Prism as a Optional
Setter<S,A>	asSetter() view a Prism as a Setter
Traversal<S,A>	asTraversal() view a Prism as a Traversal
<C,D> Prism<S,C>	composeIso(Iso<A,C> other) compose a Prism with an Iso
<C,D> Optional<S,C>	composeLens(Lens<A,C> other) compose a Prism with a Lens
<C,D> Optional<S,C>	composeOptional(Optional<A,C> other) compose a Prism with a Optional
<C> Prism<S,C>	composePrism(Prism<A,C> other) compose a Prism with a Prism
<C,D> Setter<S,C>	composeSetter(Setter<A,C> other) compose a Prism with a Setter
<C,D> Traversal<S,C>	composeTraversal(Traversal<A,C> other) compose a Prism with a Traversal
Option<A>	getOption(S s) get the target of a PPrism or nothing if there is no target
Either<S,A>	getOrModify(S s) get the target of a PPrism or modify the source in case there is no target
static <S> Prism<S,S>	id()
static <S,A> Prism<S,A>	prism(F<S,Option<A>> getOption, F<A,S> reverseGet)
S	reverseGet(A a) get the modified source of a PPrism

Methods inherited from class fj.data.optic.PPrism

asFold, composeFold, composeGetter, composeIso, composeLens, composeOptional, composePrism, composeSetter, composeTraversal, isMatching, modify, modifyEitherF, modifyFunctionF, modifyIOF, modifyListF, modifyOption, modifyOptionF, modifyP1F, modifyPromiseF, modifyStreamF, modifyTrampolineF, modifyV2F, modifyValidationF, pId, pPrism, re, set, setOption

Methods inherited from class java.lang.Object

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

Constructor Detail

Prism

public Prism(PPrism<S,S,A,A> pPrism)

Method Detail

getOrModify

public Either<S,A> getOrModify(S s)

Description copied from class: PPrism

get the target of a PPrism or modify the source in case there is no target

Specified by:

getOrModify in class PPrism<S,S,A,A>

reverseGet

public S reverseGet(A a)

Description copied from class: PPrism

get the modified source of a PPrism

Specified by:

reverseGet in class PPrism<S,S,A,A>

getOption

public Option<A> getOption(S s)

Description copied from class: PPrism

get the target of a PPrism or nothing if there is no target

Specified by:

getOption in class PPrism<S,S,A,A>

composeSetter

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

compose a Prism with a Setter

composeTraversal

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

compose a Prism with a Traversal

composeOptional

public final <C,D> Optional<S,C> composeOptional(Optional<A,C> other)

compose a Prism with a Optional

composeLens

public final <C,D> Optional<S,C> composeLens(Lens<A,C> other)

compose a Prism with a Lens

composePrism

public final <C> Prism<S,C> composePrism(Prism<A,C> other)

compose a Prism with a Prism

composeIso

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

compose a Prism with an Iso

asSetter

public final Setter<S,A> asSetter()

view a Prism as a Setter

Overrides:

asSetter in class PPrism<S,S,A,A>

asTraversal

public final Traversal<S,A> asTraversal()

view a Prism as a Traversal

Overrides:

asTraversal in class PPrism<S,S,A,A>

asOptional

public final Optional<S,A> asOptional()

view a Prism as a Optional

Overrides:

asOptional in class PPrism<S,S,A,A>

id

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

prism

public static <S,A> Prism<S,A> prism(F<S,Option<A>> getOption,
                                     F<A,S> reverseGet)