io.atlassian.fugue.optic.law

Class IsoLaws<S,A>

java.lang.Object

io.atlassian.fugue.optic.law.IsoLaws<S,A>

public final class IsoLaws<S,A>
extends Object

Constructor Summary

Constructors

Constructor and Description
IsoLaws(PIso<S,S,A,A> iso)

Method Summary

Modifier and Type	Method and Description
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<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

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<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(_)