haskell - 如何从 GHCi 中的记录制作镜头

Question

我想玩Lens图书馆一点。我已经将它加载到 GHCi 并创建了一个带有适当下划线的记录数据类型:

> data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]}

我想为 Foo 制作镜头使用 makeLenses模板。我想这样做而不需要通读整套 Template-Haskell docs .

我可以在 GHCi 提示符下输入什么咒语来让它工作？

Answer 1

在 GHCi 7.8.3 中测试:

:set -XTemplateHaskell
:m +Control.Lens
:{
data AST = AInt  { _aid :: Int, _ival :: Int }
         | AChar { _aid :: Int, _cval :: Char }
         deriving (Show)
makeLenses ''AST
:}

(我相信 :{ ... :} block 是 makeLenses 工作所必需的)。

让我们简单检查一下:

λ >> AChar 100 'f' ^. aid
100
λ >> AChar 100 'f' ^? cval
Just 'f'
λ >> AInt 101 0 ^? cval
Nothing