Lens.Micro

(&)

Setting (applying a function to values)

type ASetter s t a b

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 have multiple targets)

type Traversal s t a b

type Traversal' s a

both

Prisms

_Left

_Right

_Just

_Nothing

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