GHCiのレコードからレンズを作る方法

Question

Lensライブラリで少し遊びたいです。私はGHCiの中にそれをロードし、適切なアンダースコアを持つレコードのデータ型を作成しました：

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

私はmakeLensesテンプレートを使用してFoo用レンズをしたいと思います。私は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 
:} 

（私は:{ ... :}ブロックが仕事にmakeLensesのために必要であると信じています）。

レッツ・簡単にチェック：

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