monotoneMap
fun <A : Quilted<A>, B : Quilted<B>> CoordinationFree<A>.monotoneMap(transform: (A) -> B): CoordinationFree<B>
Apply transform to this value's state, producing a new CoordinationFree with the transformed state. The caller is responsible for ensuring transform is itself monotone — i.e. that the output lattice's join is preserved under the mapping.
This is a B3 combinator: it composes coordination-free values by mapping their states through a monotone function. It cannot be called on a Coordinated value.
Parameters
Type Parameters
B
the output lattice type.