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

(%%~)

(%%=)

(%%@~)

(%%@=)

(<%@~)

(<%@=)

(<<%@~)

(<<%@=)

Lateral Composition

choosing

chosen

alongside

inside

Setting Functionally with Passthrough

(<%~)

(<+~)

(<-~)

(<*~)

(<//~)

(<^~)

(<^^~)

(<**~)

(<||~)

(<&&~)

(<<>~)

(<<%~)

(<<.~)

Setting State with Passthrough

(<%=)

(<+=)

(<-=)

(<*=)

(<//=)

(<^=)

(<^^=)

(<**=)

(<||=)

(<&&=)

(<<>=)

(<<%=)

(<<.=)

(<<~)

Cloning Lenses

cloneLens

cloneIndexPreservingLens

cloneIndexedLens

ALens Combinators

storing

(^#)

(#~)

(#%~)

(#%%~)

(<#~)

(<#%~)

(#=)

(#%=)

(#%%=)

(<#=)

(<#%=)

Common Lenses

devoid

united

Context

data Context a b t

type Context' a

locus