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 which return multiple elements)

(^..)

toListOf

(^?)

(^?!)

folded

has

Lenses (things which are both setters and getters)

type Lens s t a b

type Lens' s a

lens

Traversals (lenses which iterate over several elements)

type Traversal s t a b

type Traversal' s a

both

Prisms (traversals which iterate over at most 1 element)

_Left

_Right

_Just

_Nothing

Each (an universal traversal for various structures)

class Each s t a b

Tuples

class Field1 s t a b

class Field2 s t a b

class Field3 s t a b

class Field4 s t a b

class Field5 s t a b