Agda.Utils.Lens.Examples

Examples how to use Agda.Utils.Lens.

Documentation

data Record a b

Constructors

Record

Fields

field1 :: a

field2 :: b

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)