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
(<&>)