Lens.Micro

(&)

Setting (applying a function to values)

type ASetter s t a b

type ASetter' s a

sets

(%~)

over

(.~)

set

mapped

Getting (retrieving a value)

type Getting r s a

(^.)

Folds (getters returning multiple elements)

(^..)

(^?)

(^?!)

folded

has

Lenses (setters and getters at once)

type Lens s t a b

type Lens' s a

lens

at

_1

_2

_3

_4

_5

Traversals (lenses iterating over several elements)

type Traversal s t a b

type Traversal' s a

both

traversed

each

ix

Prisms (traversals iterating over at most 1 element)

_Left

_Right

_Just

_Nothing