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

# Lens fusion

fusing