Agda.Utils.Lens

Type-preserving lenses.

type Lens' i o

Elementary lens operations.

(^.)

set

over

State accessors and modifiers.

use

(.=)

(%=)

(%==)

(%%=)

Read-only state accessors and modifiers.

view

locally

key

(<&>)