Agda-2.6.3.20230930: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Utils.Lens.Examples

Description

Examples how to use Agda.Utils.Lens.

Synopsis

Documentation

data Record a b Source #

Constructors

Record 

Fields

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

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