MK
а линзовыражение
Size: a a a
2021 February 26
MK
ну
MK
как выражение
MK
которое само по себе ничего не делает
MP
непонел
это как так
это как так
MP
в смысле почему это компилируется вообще
IK
в смысле почему это компилируется вообще
MP
а, ок
MP
я уж было подумал, что опять чего-то фундаментального не знаю
KV
Я могу как-то линзами поменять только первые
n элементов списка?Я знаю один дурацкий способ
KV
Переслано от Kirill Valyavin
let adjoinAll =
cloneTraversal
. foldl1 (\t1 t2 -> adjoin (cloneTraversal t1) (cloneTraversal t2)) in
"{\"a\":1,\"b\":2}" & partsOf (_Value . (adjoinAll [ix "a", ix "b"]) . _Number) .~ [2,3]
Короче надо было вот так
KV
Вот в аргумент к adjoinAll надо написать траверсалы, которые доступаются до первых n элементов списка
KV
Но это как-то очень запутано
AA
Я могу как-то линзами поменять только первые
n элементов списка?> [1..10] & vector . sliced 0 3 . each %~ (+10)
[11,12,13,4,5,6,7,8,9,10]