Class PPrism<S,T,A,B>

java.lang.Object

io.atlassian.fugue.optic.PPrism<S,T,A,B>

Type Parameters:

S - the source of a PPrism

T - the modified source of a PPrism

A - the target of a PPrism

B - the modified target of a PPrism

Direct Known Subclasses:

Prism

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

A PPrism can be seen as a pair of functions: - `getOrModify: S => T \/ A` - `reverseGet : B => T`

A PPrism could also be defined as a weaker PIso where get can fail.

Typically a PPrism or Prism encodes the relation between a Sum or CoProduct type (e.g. sealed trait) and one of it is element.

PPrism stands for Polymorphic Prism as it set and modify methods change a type `A` to `B` and `S` to `T`. Prism is a PPrism where the type of target cannot be modified.

A PPrism is also a valid Fold, POptional, PTraversal and PSetter

Constructor Summary

Constructors

Constructor	Description
PPrism()

Method Summary

Modifier and Type	Method	Description
final Fold<S,A>	asFold()	view a PPrism as a Fold
POptional<S,T,A,B>	asOptional()	view a PPrism as a POptional
PSetter<S,T,A,B>	asSetter()	view a PPrism as a Setter
PTraversal<S,T,A,B>	asTraversal()	view a PPrism as a PTraversal
final <C> Fold<S,C>	composeFold(Fold<A,C> other)	compose a PPrism with a Fold
final <C> Fold<S,C>	composeGetter(Getter<A,C> other)	compose a PPrism with a Getter
final <C,D> PPrism<S,T,C,D>	composeIso(PIso<A,B,C,D> other)	compose a PPrism with a PIso
final <C,D> POptional<S,T,C,D>	composeLens(PLens<A,B,C,D> other)	compose a PPrism with a PLens
final <C,D> POptional<S,T,C,D>	composeOptional(POptional<A,B,C,D> other)	compose a PPrism with a POptional
final <C,D> PPrism<S,T,C,D>	composePrism(PPrism<A,B,C,D> other)	compose a PPrism with a PPrism
final <C,D> PSetter<S,T,C,D>	composeSetter(PSetter<A,B,C,D> other)	compose a PPrism with a PSetter
final <C,D> PTraversal<S,T,C,D>	composeTraversal(PTraversal<A,B,C,D> other)	compose a PPrism with a PTraversal
abstract Option<A>	getOption(S s)	get the target of a PPrism or nothing if there is no target
abstract Either<T,A>	getOrModify(S s)	get the target of a PPrism or modify the source in case there is no target
final boolean	isMatching(S s)	check if a PPrism has a target
final Function<S,T>	modify(Function<A,B> f)	modify polymorphically the target of a PPrism with a function
final <L> Function<S, Either<L,T>>	modifyEitherF(Function<A, Either<L,B>> f)	modify polymorphically the target of a PPrism with an Applicative function
final <C> Function<S, Function<C,T>>	modifyFunctionF(Function<A, Function<C,B>> f)	modify polymorphically the target of a PPrism with an Applicative function
final Function<S, Iterable<T>>	modifyIterableF(Function<A, Iterable<B>> f)	modify polymorphically the target of a PPrism with an Applicative function
final Function<S, Option<T>>	modifyOption(Function<A,B> f)	modify polymorphically the target of a PPrism with a function.
final Function<S, Option<T>>	modifyOptionF(Function<A, Option<B>> f)	modify polymorphically the target of a PPrism with an Applicative function
final Function<S, Pair<T,T>>	modifyPairF(Function<A, Pair<B,B>> f)	modify polymorphically the target of a PPrism with an Applicative function
final Function<S, Supplier<T>>	modifySupplierF(Function<A, Supplier<B>> f)	modify polymorphically the target of a PPrism with an Applicative function
static <S,T> PPrism<S,T,S,T>	pId()
static <S,T,A,B> PPrism<S,T,A,B>	pPrism(Function<S, Either<T,A>> getOrModify, Function<B,T> reverseGet)	create a PPrism using the canonical functions: getOrModify and reverseGet
final Getter<B,T>	re()	create a Getter from the modified target to the modified source of a PPrism
abstract T	reverseGet(B b)	get the modified source of a PPrism
final Function<S,T>	set(B b)	set polymorphically the target of a PPrism with a value
final Function<S, Option<T>>	setOption(B b)	set polymorphically the target of a PPrism with a value.

Methods inherited from class Object

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

Constructor Details

PPrism

PPrism()

Method Details

getOrModify

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

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

reverseGet

public abstract T reverseGet(B b)

get the modified source of a PPrism

getOption

public abstract Option<A> getOption(S s)

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

modifyFunctionF

public final <C> Function<S, Function<C,T>> modifyFunctionF(Function<A, Function<C,B>> f)

modify polymorphically the target of a PPrism with an Applicative function

modifyEitherF

public final <L> Function<S, Either<L,T>> modifyEitherF(Function<A, Either<L,B>> f)

modify polymorphically the target of a PPrism with an Applicative function

modifyOptionF

public final Function<S, Option<T>> modifyOptionF(Function<A, Option<B>> f)

modify polymorphically the target of a PPrism with an Applicative function

modifyPairF

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

modify polymorphically the target of a PPrism with an Applicative function

modifySupplierF

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

modify polymorphically the target of a PPrism with an Applicative function

modifyIterableF

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

modify polymorphically the target of a PPrism with an Applicative function

modify

public final Function<S,T> modify(Function<A,B> f)

modify polymorphically the target of a PPrism with a function

modifyOption

public final Function<S, Option<T>> modifyOption(Function<A,B> f)

modify polymorphically the target of a PPrism with a function. return empty if the PPrism is not matching

set

public final Function<S,T> set(B b)

set polymorphically the target of a PPrism with a value

setOption

public final Function<S, Option<T>> setOption(B b)

set polymorphically the target of a PPrism with a value. return empty if the PPrism is not matching

isMatching

public final boolean isMatching(S s)

check if a PPrism has a target

re

public final Getter<B,T> re()

create a Getter from the modified target to the modified source of a PPrism

composeFold

public final <C> Fold<S,C> composeFold(Fold<A,C> other)

compose a PPrism with a Fold

composeGetter

public final <C> Fold<S,C> composeGetter(Getter<A,C> other)

compose a PPrism with a Getter

composeSetter

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

compose a PPrism with a PSetter

composeTraversal

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

compose a PPrism with a PTraversal

composeOptional

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

compose a PPrism with a POptional

composeLens

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

compose a PPrism with a PLens

composePrism

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

compose a PPrism with a PPrism

composeIso

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

compose a PPrism with a PIso

asFold

public final Fold<S,A> asFold()

view a PPrism as a Fold

asSetter

public PSetter<S,T,A,B> asSetter()

view a PPrism as a Setter

asTraversal

public PTraversal<S,T,A,B> asTraversal()

view a PPrism as a PTraversal

asOptional

public POptional<S,T,A,B> asOptional()

view a PPrism as a POptional

pId

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

pPrism

public static <S,T,A,B> PPrism<S,T,A,B> pPrism(Function<S, Either<T,A>> getOrModify,
 Function<B,T> reverseGet)

create a PPrism using the canonical functions: getOrModify and reverseGet