Lens.Simple

Fundamental lens combinators (view/(^.), set/(.~), over/(%~))

view

set

over

Characteristic lenses (_1, _2) and traversals (_Left, _Right etc.)

_1

_2

_Left

_Right

_Just

_Nothing

both

Lens (etc.) formers

lens

iso

setting

to

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

zoom

use

uses

assign

Commonly used operators: particularly view/(^.), set/(.~), over/(%~)

(^.)

(%~)

(.~)

(&)

(??)

(?~)

(^..)

(^?)

Convenient state-related operators

(%=)

(.=)

(%%=)

(<~)

Pseudo-imperatives

(+~)

(*~)

(-~)

(//~)

(&&~)

(||~)

(<>~)

Corresponding state-related imperatives

(+=)

(-=)

(*=)

(//=)

(&&=)

(||=)

(<>=)

Stock semantic editor combinators (setters)

mapped

More stock lenses

chosen

ix

at

intAt

contains

intContains

More stock traversals

ignored

Other combinators

folding

views

toListOf

allOf

anyOf

firstOf

lastOf

sumOf

productOf

lengthOf

nullOf

backwards

choosing

alongside

beside

TH incantations

makeLenses

makeTraversals

makeLensesBy

makeLensesFor

Types

type Lens a a' b b'

type Lens' a b

type Traversal a a' b b'

type Traversal' a b

type Getter a a' b b'

type Getter' a b

type Setter a a' b b'

type Setter' a b

type LensLike f a a' b b'

type LensLike' f a b

type FoldLike r a a' b b'

type FoldLike' r a b

class Phantom f

data Constant a b

data Identity a

data AlongsideLeft f b a

data AlongsideRight f a b

data Zooming m c a

Re-exports

class Monoid a

(<>)