Lens.Micro

(&)

(<&>)

# Setter: modifies something in a structure

type ASetter s t a b

type ASetter' s a

sets

(%~)

over

(.~)

set

(?~)

(<%~)

(<<%~)

(<<.~)

mapped

# Getter: extracts a value from a structure

type SimpleGetter s a

type Getting r s a

(^.)

to

# Fold: extracts multiple elements

type SimpleFold s a

(^..)

toListOf

(^?)

(^?!)

traverseOf_

forOf_

has

folded

folding

# Lens: a combined getter-and-setter

type Lens s t a b

type Lens' s a

lens

at

_1

_2

_3

_4

_5

# Iso: a lens that only changes the representation

strict

lazy

non

# Traversal: a lens iterating over several elements

type Traversal s t a b

type Traversal' s a

traverseOf

forOf

singular

failing

filtered

both

traversed

each

ix

_head

_tail

_init

_last

mapAccumLOf

# Prism: a traversal iterating over at most 1 element

_Left

_Right

_Just

_Nothing

# Other types

type LensLike f s t a b

type LensLike' f s a