
24 Jan
2015
24 Jan
'15
8:07 a.m.
Hi Konstantine,
let bar' = bar{foo{val}=10}
If you're inside a record context you might just have something like: let bar' = bar { foo.val = 10 } and let val = bar { foo.val } or even let bar' = bar { foo.val %= someFunction } This just seems to be some kind of syntactic sugar, so it's most likely less powerful than real lenses. Greetings, Daniel