Control.Lens.Lens

Lenses

type Lens s t a b

type Lens' s a

type IndexedLens i s t a b

type IndexedLens' i s a

Concrete Lenses

type ALens s t a b

type ALens' s a

type AnIndexedLens i s t a b

type AnIndexedLens' i s a

Combinators

lens

ilens

iplens

(%%~)

(%%=)

(%%@~)

(%%@=)

(<%@~)

(<%@=)

(<<%@~)

(<<%@=)

General Purpose Combinators

(&)

(<&>)

(??)

(&~)

Lateral Composition

choosing

chosen

alongside

inside

Setting Functionally with Passthrough

(<%~)

(<+~)

(<-~)

(<*~)

(<//~)

(<^~)

(<^^~)

(<**~)

(<||~)

(<&&~)

(<<>~)

(<<%~)

(<<.~)

(<<+~)

(<<-~)

(<<*~)

(<<//~)

(<<^~)

(<<^^~)

(<<**~)

(<<||~)

(<<&&~)

(<<<>~)

Setting State with Passthrough

(<%=)

(<+=)

(<-=)

(<*=)

(<//=)

(<^=)

(<^^=)

(<**=)

(<||=)

(<&&=)

(<<>=)

(<<%=)

(<<.=)

(<<+=)

(<<-=)

(<<*=)

(<<//=)

(<<^=)

(<<^^=)

(<<**=)

(<<||=)

(<<&&=)

(<<<>=)

(<<~)

Cloning Lenses

cloneLens

cloneIndexPreservingLens

cloneIndexedLens

Arrow operators

overA

ALens Combinators

storing

(^#)

(#~)

(#%~)

(#%%~)

(<#~)

(<#%~)

(#=)

(#%=)

(#%%=)

(<#=)

(<#%=)

Common Lenses

devoid

united

Context

data Context a b t

type Context' a

locus