Agda-2.5.2: A dependently typed functional programming language and proof assistant
Agda.Utils.Lens.Examples
Description
Examples how to use Agda.Utils.Lens.
Synopsis
data Record a b Source #
Constructors
Fields
lensField1 :: Lens' a (Record a b) Source #
(View source:) This is how you implement a lens for a record field.
lensField2 :: Lens' b (Record a b) Source #