Control.Lens.Type

Lenses

type Lens a b c d

type Simple f a b

type a :-> b

lens

simple

(%%~)

(%%=)

resultAt

Lateral Composition

choosing

chosen

alongside

Setting Functionally with Passthrough

(<%~)

(<+~)

(<-~)

(<*~)

(<//~)

(<^~)

(<^^~)

(<**~)

(<||~)

(<&&~)

(<<%~)

(<<.~)

Setting State with Passthrough

(<%=)

(<+=)

(<-=)

(<*=)

(<//=)

(<^=)

(<^^=)

(<**=)

(<||=)

(<&&=)

(<<%=)

(<<.=)

(<<~)

Cloning Lenses

cloneLens

data ReifiedLens a b c d

Simplified and In-Progress

type LensLike f a b c d

type Overloaded k f a b c d

type SimpleLens a b

type SimpleLensLike f a b

type SimpleOverloaded k f a b

type SimpleReifiedLens a b