Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Agda.Utils.Lens.Examples
Description
Examples how to use Agda.Utils.Lens.
- data Record a b = Record {}
- lensField1 :: Lens' a (Record a b)
- lensField2 :: Lens' b (Record a b)
Documentation
lensField1 :: Lens' a (Record a b)
(View source:) This is how you implement a lens for a record field.
lensField2 :: Lens' b (Record a b)