public final class PrismLaws<S,A> extends Object
| 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<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<S> |
partialRoundTripOneWay(S s)
if a Prism match you can always go back to the source
|
IsEq<Option<A>> |
roundTripOtherWay(A a)
reverseGet produces a value
|
IsEq<Option<S>> |
setOption(S s,
A a)
setOption only succeeds when the Prism is matching
|
public IsEq<S> partialRoundTripOneWay(S s)
public IsEq<S> modifySupplierFPoint(S s)
public IsEq<Either<String,S>> modifyEitherFPoint(S s)
public IsEq<Option<S>> modifyOptionFPoint(S s)
public IsEq<Pair<S,S>> modifyPairFPoint(S s)
public IsEq<S> modifyFunctionFPoint(S s)
public IsEq<List<S>> modifyIterableFPoint(S s)
public IsEq<Option<S>> setOption(S s, A a)
Copyright © 2018 Atlassian. All rights reserved.