view is equivalent to Filter(f,d),
set replaces elements that satisfy f with elements
of x.
cond_il(f)
Arguments
| f |
the predicate (logical) function |
Details
This lens is illegal because set-view is not satisfied,
multiple runs of the same lens will reference potentially
different elements.