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