java.lang.Object
- fj.data.optic.Getter<S,A>

Type Parameters:

S - the source of a Getter

A - the target of a Getter
```
public abstract class Getter<S,A>
extends java.lang.Object
```
A Getter can be seen as a glorified get method between a type S and a type A. A Getter is also a valid Fold

Constructor Summary

Constructors
Constructor Description

Getter()

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`Fold<S,A>`	`asFold()`	view a `Getter` with a `Fold`
`static <A> Getter<Either<A,A>,A>`	`codiagonal()`
`<B> Fold<S,B>`	`composeFold(Fold<A,B> other)`	compose a `Getter` with a `Fold`
`<B> Getter<S,B>`	`composeGetter(Getter<A,B> other)`	compose a `Getter` with a `Getter`
`<B,C,D> Getter<S,C>`	`composeIso(PIso<A,B,C,D> other)`	compose a `Getter` with a `PIso`
`<B,C,D> Getter<S,C>`	`composeLens(PLens<A,B,C,D> other)`	compose a `Getter` with a `PLens`
`<B,C,D> Fold<S,C>`	`composeOptional(POptional<A,B,C,D> other)`	compose a `Getter` with a `POptional`
`<B,C,D> Fold<S,C>`	`composePrism(PPrism<A,B,C,D> other)`	compose a `Getter` with a `PPrism`
`<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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Getter
```
Getter()
```

Method Detail

get
```
public abstract A get(S s)
```
get the target of a Getter

sum

public final <S1> Getter<Either<S,S1>,A> sum(Getter<S1,A> other)

join two Getter with the same target

product

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

pair two disjoint Getter

first

public final <B> Getter<P2<S,B>,P2<A,B>> first()

second

public final <B> Getter<P2<B,S>,P2<B,A>> second()

composeFold

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

compose a Getter with a Fold

composeGetter

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

compose a Getter with a Getter

composeOptional

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

compose a Getter with a POptional

composePrism

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

compose a Getter with a PPrism

composeLens

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

compose a Getter with a PLens

composeIso

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

compose a Getter with a PIso

asFold
```
public final Fold<S,A> asFold()
```
view a Getter with a Fold

id

public static <A> Getter<A,A> id()

codiagonal

public static <A> Getter<Either<A,A>,A> codiagonal()

getter

public static <S,A> Getter<S,A> getter(F<S,A> get)

Class Getter<S,​A>

Constructor Summary