Package io.atlassian.fugue.optic.law

Class OptionalLaws<S,A>

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field	Description
private POptional<S,S,A,A>	optional

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
IsEq<S>	getOptionSet(S s)	set what you get
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<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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

optional

private final POptional<S,S,A,A> optional

Constructor Detail

OptionalLaws

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

Method Detail

getOptionSet

public IsEq<S> getOptionSet(S s)

set what you get

setGetOption

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

get what you set

setIdempotent

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

set idempotent

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

setOption

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