Susan Potter

Decoding lens operators

Sat April 4, 2018

Notation conventions

The following table provides a quick overview of conventions used in symbolic operators in the lens library.

Symbol Concept Denotes
^ getter gets value from structure
~ setter sets values in structure
% over apply transformation over selected substructure
= state threads state through
<< before change returns value before specified change
< after change returns value after specified change
? Maybe optionality
! force force value