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

(^.)

to

Folds (getters returning multiple elements)

(^..)

toListOf

(^?)

(^?!)

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

failing

both

traversed

each

ix

_head

_tail

_init

_last

Prisms (traversals iterating over at most 1 element)

_Left

_Right

_Just

_Nothing

Other types

type LensLike f s t a b

type LensLike' f s a