Jak wykonać soczewki z rekordu w GHCi

Question

Chciałbym trochę pobawić się z biblioteką Lens. Mam załadowany go do GHCi i stworzył typ danych rekordu z odpowiednimi podkreślenia:

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

Chciałbym, aby soczewki dla Foo pomocą szablonu makeLenses. Chciałbym to zrobić bez konieczności czytania całego zestawu Template-Haskell docs.

Jakie zaklęcie mogę wpisać w podpowiedzi GHCi, aby to zadziałało?

Answer 1

Testowane 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 
:} 

(wierzę, że blok :{ ... :} jest konieczne dla makeLenses do pracy). krótko check

Miejmy:

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