fj.data.optic

Class Iso<S,A>

java.lang.Object

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

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

public final class Iso<S,A>
extends PIso<S,S,A,A>

PIso when S = T and A = B

Constructor Summary

Constructors

Constructor and Description
Iso(PIso<S,S,A,A> pIso)

Method Summary

Modifier and Type	Method and Description
Lens<S,A>	asLens() view an Iso as a Lens
Optional<S,A>	asOptional() view an Iso as a Optional
Prism<S,A>	asPrism() view an Iso as a Prism
Setter<S,A>	asSetter() view an Iso as a Setter
Traversal<S,A>	asTraversal() view an Iso as a Traversal
<C> Iso<S,C>	composeIso(Iso<A,C> other) compose an Iso with an Iso
<C> Lens<S,C>	composeLens(Lens<A,C> other) compose an Iso with a Lens
<C> Optional<S,C>	composeOptional(Optional<A,C> other) compose an Iso with a Optional
<C> Prism<S,C>	composePrism(Prism<A,C> other) compose an Iso with a Prism
<C> Setter<S,C>	composeSetter(Setter<A,C> other) compose an Iso with a Setter
<C> Traversal<S,C>	composeTraversal(Traversal<A,C> other) compose an Iso with a Traversal
<C> Iso<P2<S,C>,P2<A,C>>	first()
A	get(S s) get the target of a PIso
static <S> Iso<S,S>	id() create an Iso between any type and itself. id is the zero element of optics composition, for all optics o of type O (e.g.
static <S,A> Iso<S,A>	iso(F<S,A> get, F<A,S> reverseGet) create an Iso using a pair of functions: one to get the target and one to get the source.
<S1,A1> Iso<P2<S,S1>,P2<A,A1>>	product(Iso<S1,A1> other) pair two disjoint Iso
Iso<A,S>	reverse() reverse a PIso: the source becomes the target and the target becomes the source
S	reverseGet(A a) get the modified source of a PIso
<C> Iso<P2<C,S>,P2<C,A>>	second()

Methods inherited from class fj.data.optic.PIso

asFold, asGetter, composeFold, composeGetter, composeIso, composeLens, composeOptional, composePrism, composeSetter, composeTraversal, modify, modifyEitherF, modifyFunctionF, modifyIOF, modifyListF, modifyOptionF, modifyP1F, modifyPromiseF, modifyStreamF, modifyTrampolineF, modifyV2F, modifyValidationF, pId, pIso, product, set

Methods inherited from class java.lang.Object

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

Constructor Detail

Iso

public Iso(PIso<S,S,A,A> pIso)

Method Detail

get

public A get(S s)

Description copied from class: PIso

get the target of a PIso

Specified by:

get in class PIso<S,S,A,A>

reverseGet

public S reverseGet(A a)

Description copied from class: PIso

get the modified source of a PIso

Specified by:

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

reverse

public Iso<A,S> reverse()

Description copied from class: PIso

reverse a PIso: the source becomes the target and the target becomes the source

Specified by:

reverse in class PIso<S,S,A,A>

product

public <S1,A1> Iso<P2<S,S1>,P2<A,A1>> product(Iso<S1,A1> other)

pair two disjoint Iso

first

public <C> Iso<P2<S,C>,P2<A,C>> first()

Overrides:

first in class PIso<S,S,A,A>

second

public <C> Iso<P2<C,S>,P2<C,A>> second()

Overrides:

second in class PIso<S,S,A,A>

composeSetter

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

compose an Iso with a Setter

composeTraversal

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

compose an Iso with a Traversal

composeOptional

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

compose an Iso with a Optional

composePrism

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

compose an Iso with a Prism

composeLens

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

compose an Iso with a Lens

composeIso

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

compose an Iso with an Iso

asSetter

public Setter<S,A> asSetter()

view an Iso as a Setter

Overrides:

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

asTraversal

public Traversal<S,A> asTraversal()

view an Iso as a Traversal

Overrides:

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

asOptional

public Optional<S,A> asOptional()

view an Iso as a Optional

Overrides:

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

asPrism

public Prism<S,A> asPrism()

view an Iso as a Prism

Overrides:

asPrism in class PIso<S,S,A,A>

asLens

public Lens<S,A> asLens()

view an Iso as a Lens

Overrides:

asLens in class PIso<S,S,A,A>

iso

public static <S,A> Iso<S,A> iso(F<S,A> get,
                                 F<A,S> reverseGet)

create an Iso using a pair of functions: one to get the target and one to get the source.

id

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

create an Iso between any type and itself. id is the zero element of optics composition, for all optics o of type O (e.g. Lens, Iso, Prism, ...):

  o composeIso Iso.id == o
  Iso.id composeO o == o
 

(replace composeO by composeLens, composeIso, composePrism, ...)