IsoLaws

java.lang.Object
- io.atlassian.fugue.optic.law.IsoLaws<S,A>

public final class IsoLaws<S,A>
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

private PIso<S,S,A,A> iso

Constructor Summary

Constructors
Constructor Description

IsoLaws(PIso<S,S,A,A> iso)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`IsEq<Either<java.lang.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<java.util.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<S>`	`roundTripOneWay(S s)`	get and reverseGet forms an Isomorphism: round trip one way
`IsEq<A>`	`roundTripOtherWay(A a)`	get and reverseGet forms an Isomorphism: round trip other way
`IsEq<S>`	`set(S s, A a)`	set is a weaker version of reverseGet

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

- Field Detail
  - iso
```
private final PIso<S,S,A,A> iso
```
- Constructor Detail
  - IsoLaws
```
public IsoLaws(PIso<S,S,A,A> iso)
```
- Method Detail
  - roundTripOneWay
```
public IsEq<S> roundTripOneWay(S s)
```
    get and reverseGet forms an Isomorphism: round trip one way
  - roundTripOtherWay
```
public IsEq<A> roundTripOtherWay(A a)
```
    get and reverseGet forms an Isomorphism: round trip other way
  - set
```
public IsEq<S> set(S s,
                   A a)
```
    set is a weaker version of reverseGet
  - modifyIdentity
```
public IsEq<S> modifyIdentity(S s)
```
    modify id = id
  - modifySupplierFPoint
```
public IsEq<S> modifySupplierFPoint(S s)
```
    modifyF Applicative.point(_) = Applicative.point(_)
  - modifyEitherFPoint
```
public IsEq<Either<java.lang.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<java.util.List<S>> modifyIterableFPoint(S s)
```
    modifyF Applicative.point(_) = Applicative.point(_)