Lens.Simple

Fundamental lens combinators: view, set and over - also known as (^.), (.~) and (%~)

view

set

over

LensLike and important strength-expressing synonyms, from the all-powerful Lens downward

type LensLike f a a' b b'

type Lens a a' b b'

type Traversal a a' b b'

type Setter a a' b b'

type Getter a a' b b'

type Fold a a' b b'

type FoldLike r a a' b b'

type SetterLike a a' b b'

Simple Prelude lenses (_1, _2) and traversals (_Left, _Right, _Just, etc.)

_1

_2

_Left

_Right

_Just

_Nothing

both

Common lens-applying operators: particularly view/(^.), set/(.~), over/(%~)

(^.)

(%~)

(.~)

(&)

(??)

(?~)

(^..)

(^?)

Lens forming support (see also the TH incantations below )

lens

iso

to

setting

Basic state related combinators: zoom, use, assign/(.=) etc.

zoom

use

uses

assign

Convenient state-related operators

(%=)

(.=)

(%%=)

(<~)

Pseudo-imperatives

(+~)

(*~)

(-~)

(//~)

(&&~)

(||~)

(<>~)

Corresponding state-related imperatives

(+=)

(-=)

(*=)

(//=)

(&&=)

(||=)

(<>=)

More stock lenses

chosen

ix

at

intAt

contains

intContains

More stock traversals

ignored

More stock setters

mapped

Other combinators

folding

views

toListOf

allOf

anyOf

firstOf

lastOf

sumOf

productOf

lengthOf

nullOf

backwards

choosing

alongside

beside

TH incantations

makeLenses

makeTraversals

makeLensesBy

makeLensesFor

Other type synonyms

type LensLike' f a b

type Lens' a b

type Traversal' a b

type Getter' a b

type Setter' a b

type FoldLike' r a b

Helper classes

class Identical f

class Phantom f

Helper types

data AlongsideLeft f b a

data AlongsideRight f a b

data Zooming m c a

Re-exports

data Constant a b

data Identity a

class Monoid a

(<>)