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

Field Summary

Fields
Modifier and Type Field Description

(package private) PIso<S,S,A,A> pIso

Constructor Summary

Constructors
Constructor Description

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

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	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.
`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

- Field Detail
  - pIso
```
final PIso<S,S,A,A> pIso
```
- 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, ...)

Class Iso<S,​A>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class fj.data.optic.PIso

Methods inherited from class java.lang.Object

Field Detail

pIso

Constructor Detail

Iso

Method Detail

get

reverseGet

reverse

product

first

second

composeSetter

composeTraversal

composeOptional

composePrism

composeLens

composeIso

asSetter

asTraversal

asOptional

asPrism

asLens

iso

id

Class Iso<S,A>