Agda.Utils.Lens.Examples

Examples how to use Agda.Utils.Lens.

Documentation

data Record a b

Constructors

Record

Fields

• field1 :: a
• field2 :: b

lensField1 :: forall a b f. Functor f => (a -> f a) -> Record a b -> f (Record a b)

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

lensField2 :: forall a b f. Functor f => (b -> f b) -> Record a b -> f (Record a b)