Traversal型
from
Lens
#wip
https://hackage.haskell.org/package/lens-tutorial-1.0.4/docs/Control-Lens-Tutorial.html#g:5
tutorial
https://hackage.haskell.org/package/lens-4.17.1/docs/Control-Lens-Type.html#t:Traversal
https://debug-ito.hatenablog.com/entry/20150102/1420177718
0個以上の任意の数の部分データに注目する
Lens型
のgetter/setterである
view
/
over
が、
toListOf
/
over
に変わった感じ
table:aa
Lens型 Traversal型
getter view toListOf
setter over over
toListOfのエイリアスに
^..
いまいち使い方がわかっていない
#??