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