Package 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

Field Summary

Fields

Modifier and Type	Field	Description
(package private) PPrism<S,S,A,A>	pPrism

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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

Field Detail

pPrism

final PPrism<S,S,A,A> pPrism

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 <C,D> Setter<S,C> composeSetter(Setter<A,C> other)

compose a Prism with a Setter

composeTraversal

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

compose a Prism with a Traversal

composeOptional

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

compose a Prism with a Optional

composeLens

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

compose a Prism with a Lens

composePrism

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

compose a Prism with a Prism

composeIso

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

compose a Prism with an Iso

asSetter

public Setter<S,A> asSetter()

view a Prism as a Setter

Overrides:

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

asTraversal

public Traversal<S,A> asTraversal()

view a Prism as a Traversal

Overrides:

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

asOptional

public 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)