Modifier and Type | Method and Description |
---|---|
Fold<S,A> |
asFold()
|
static <A> Getter<Either<A,A>,A> |
codiagonal() |
<B> Fold<S,B> |
composeFold(Fold<A,B> other)
|
<B> Getter<S,B> |
composeGetter(Getter<A,B> other)
|
<B,C,D> Getter<S,C> |
composeIso(PIso<A,B,C,D> other)
|
<B,C,D> Getter<S,C> |
composeLens(PLens<A,B,C,D> other)
|
<B,C,D> Fold<S,C> |
composeOptional(POptional<A,B,C,D> other)
|
<B,C,D> Fold<S,C> |
composePrism(PPrism<A,B,C,D> other)
|
<B> Getter<P2<S,B>,P2<A,B>> |
first() |
abstract A |
get(S s)
get the target of a
Getter |
static <S,A> Getter<S,A> |
getter(F<S,A> get) |
static <A> Getter<A,A> |
id() |
<S1,A1> Getter<P2<S,S1>,P2<A,A1>> |
product(Getter<S1,A1> other)
pair two disjoint
Getter |
<B> Getter<P2<B,S>,P2<B,A>> |
second() |
<S1> Getter<Either<S,S1>,A> |
sum(Getter<S1,A> other)
join two
Getter with the same target |