Haskell镜头组成?~
Haskell Lens composition of ?~
我们在 Lens 中有一个运算符 ?~。
如果 _c 是 b 类型的字段，我们可以做 a & b . c ?~ d。如果 b 有 Maybe (type of _c) 类型，我应该使用什么？
可能是这样的：
[Just (Just 1, 'a')] & _head . _Just . _1 ?~ 2
我们在 Lens 中有一个运算符 ?~。
如果 _c 是 b 类型的字段，我们可以做 a & b . c ?~ d。如果 b 有 Maybe (type of _c) 类型，我应该使用什么？
可能是这样的：
[Just (Just 1, 'a')] & _head . _Just . _1 ?~ 2