TraversalLaws (Functional Extensions Library 4.5.1 API)

public final class TraversalLaws<S,A>
extends Object

Constructors
Constructor and Description
`TraversalLaws(PTraversal<S,S,A,A> traversal)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IsEq<Option<A>>`	`headOption(S s)` headOption returns the first element of getAll
`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<List<A>>`	`setGetAll(S s, A a)` get what you set.
`IsEq<S>`	`setIdempotent(S s, A a)` set idempotent

public TraversalLaws(PTraversal<S,S,A,A> traversal)

public IsEq<List<A>> setGetAll(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(_)

headOption
```
public IsEq<Option<A>> headOption(S s)
```
headOption returns the first element of getAll

Class TraversalLaws<S,A>