| Package | Description |
|---|---|
| io.atlassian.fugue.optic | |
| io.atlassian.fugue.optic.law |
| Modifier and Type | Class and Description |
|---|---|
class |
Iso<S,A>
PIso when S = T and A = B |
| Modifier and Type | Method and Description |
|---|---|
<C,D> PIso<S,T,C,D> |
PIso.composeIso(PIso<A,B,C,D> other)
|
<C> PIso<Pair<S,C>,Pair<T,C>,Pair<A,C>,Pair<B,C>> |
PIso.first() |
static <S,T> PIso<S,T,S,T> |
PIso.pId()
create a
PIso between any type and itself. |
static <S,T,A,B> PIso<S,T,A,B> |
PIso.pIso(Function<S,A> get,
Function<B,T> reverseGet)
create a
PIso using a pair of functions: one to get the target and
one to get the source. |
<S1,T1,A1,B1> |
PIso.product(PIso<S1,T1,A1,B1> other)
pair two disjoint
PIso |
abstract PIso<B,A,T,S> |
PIso.reverse()
reverse a
PIso: the source becomes the target and the target
becomes the source |
<C> PIso<Pair<C,S>,Pair<C,T>,Pair<C,A>,Pair<C,B>> |
PIso.second() |
| Modifier and Type | Method and Description |
|---|---|
<B,C,D> Fold<S,C> |
Fold.composeIso(PIso<A,B,C,D> other)
|
<B,C,D> Getter<S,C> |
Getter.composeIso(PIso<A,B,C,D> other)
|
<C,D> POptional<S,T,C,D> |
POptional.composeIso(PIso<A,B,C,D> other)
|
<C,D> PSetter<S,T,C,D> |
PSetter.composeIso(PIso<A,B,C,D> other)
|
<C,D> PTraversal<S,T,C,D> |
PTraversal.composeIso(PIso<A,B,C,D> other)
compose a
PTraversal with a PIso |
<C,D> PIso<S,T,C,D> |
PIso.composeIso(PIso<A,B,C,D> other)
|
<C,D> PPrism<S,T,C,D> |
PPrism.composeIso(PIso<A,B,C,D> other)
|
<C,D> PLens<S,T,C,D> |
PLens.composeIso(PIso<A,B,C,D> other)
|
<S1,T1,A1,B1> |
PIso.product(PIso<S1,T1,A1,B1> other)
pair two disjoint
PIso |
| Constructor and Description |
|---|
Iso(PIso<S,S,A,A> pIso) |
| Constructor and Description |
|---|
IsoLaws(PIso<S,S,A,A> iso) |
Copyright © 2016 Atlassian. All rights reserved.