Agda-2.6.3.20230914: A dependently typed functional programming language and proof assistant

Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Utils.Lens.Examples

Description

Examples how to use Agda.Utils.Lens.

Synopsis

data Record a b = Record {
- field1 :: a
- field2 :: b
}
lensField1 :: Lens' (Record a b) a
lensField2 :: Lens' (Record a b) b

Documentation

data Record a b Source #

Constructors

Record
Fields field1 :: a field2 :: b

lensField1 :: Lens' (Record a b) a Source #

(View source:) This is how you implement a lens for a record field.

lensField2 :: Lens' (Record a b) b Source #