LensLaws (Functional Optics Library 5.0.0 API)

public final class LensLaws<S,A>
extends Object

Constructors
Constructor and Description
`LensLaws(PLens<S,S,A,A> lens)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IsEq<S>`	`getSet(S s)` set what you get
`IsEq<Either<String,S>>`	`modifyEitherFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<S>`	`modifyFunctionFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<S>`	`modifyIdentity(S s)` modify id = id
`IsEq<List<S>>`	`modifyIterableFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<Option<S>>`	`modifyOptionFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<Pair<S,S>>`	`modifyPairFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<S>`	`modifySupplierFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<A>`	`setGet(S s, A a)` get what you set
`IsEq<S>`	`setIdempotent(S s, A a)` set idempotent

public IsEq<A> setGet(S s,
                      A a)

get what you set

public IsEq<S> setIdempotent(S s,
                             A a)

set idempotent

modifySupplierFPoint
```
public IsEq<S> modifySupplierFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

modifyEitherFPoint
```
public IsEq<Either<String,S>> modifyEitherFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

modifyOptionFPoint
```
public IsEq<Option<S>> modifyOptionFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

modifyPairFPoint
```
public IsEq<Pair<S,S>> modifyPairFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

modifyFunctionFPoint
```
public IsEq<S> modifyFunctionFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

modifyIterableFPoint
```
public IsEq<List<S>> modifyIterableFPoint(S s)
```
modifyF Applicative.point(_) = Applicative.point(_)

Class LensLaws<S,A>