OptionalLaws (Functional Extensions Library 4.5.1 API)

public final class OptionalLaws<S,A>
extends Object

Constructors
Constructor and Description
`OptionalLaws(POptional<S,S,A,A> optional)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IsEq<S>`	`getOptionSet(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<Option<S>>`	`modifyOptionIdentity(S s)` modifyOption with id is isomorphomic to isMatching
`IsEq<Pair<S,S>>`	`modifyPairFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<S>`	`modifySupplierFPoint(S s)` modifyF Applicative.point(_) = Applicative.point(_)
`IsEq<Option<A>>`	`setGetOption(S s, A a)` get what you set
`IsEq<S>`	`setIdempotent(S s, A a)` set idempotent
`IsEq<Option<S>>`	`setOption(S s, A a)` setOption only succeeds when the Optional is matching

public OptionalLaws(POptional<S,S,A,A> optional)

public IsEq<Option<A>> setGetOption(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(_)

public IsEq<Option<S>> setOption(S s,
                                 A a)

setOption only succeeds when the Optional is matching

modifyOptionIdentity
```
public IsEq<Option<S>> modifyOptionIdentity(S s)
```
modifyOption with id is isomorphomic to isMatching

Class OptionalLaws<S,A>