Package io.atlassian.fugue.optic.law

Class SetterLaws<S,A>

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field	Description
private PSetter<S,S,A,A>	setter

Constructor Summary

Constructors

Constructor	Description
SetterLaws(PSetter<S,S,A,A> setter)

Method Summary

Modifier and Type	Method	Description
IsEq<S>	modifyIdentity(S s)	modify id = id
IsEq<S>	setIdempotent(S s, A a)	set idempotent

Methods inherited from class java.lang.Object

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

Field Detail

setter

private final PSetter<S,S,A,A> setter

Constructor Detail

SetterLaws

public SetterLaws(PSetter<S,S,A,A> setter)

Method Detail

setIdempotent

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

set idempotent

modifyIdentity

public IsEq<S> modifyIdentity(S s)

modify id = id