-
Petr Pudlak authored
This allow to work with sets using the standard lens mechanisms. Also add a function that creates a lens where a setter function also uses the information from a getter. This allows to optimize the setter, in particular in the case of Set, keep the set unmodified, if the inner function doesn't change anything. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
f6c6c63b