Algebra.Lens

The lens types

type Iso s t a b

type Iso' a b

type a :<->: b

type LensLike f s t a b

type Fold s t a b

type Fold' a b

type Getter s t a b

type Getter' a b

type Lens s t a b

type Lens' a b

type Traversal s t a b

type Traversal' a b

Constructing lenses

iso

from

lens

getter

prism

sat

simple

(.+)

forl

forl_

Extracting values

(^.)

(^..)

(^?)

has

(^??)

(%~)

(%-)

(%%~)

(%%-)

by

yb

warp

set

(-.)

(.-)

Basic lenses

class Lens1 s t a b

class Lens2 s t a b

class Lens3 s t a b

class Lens4 s t a b

class Lens5 s t a b

class Trav1 s t a b

class Trav2 s t a b

class Compound a b s t

i'list

i'pair

t'head

t'tail

Isomorphisms

class Isomorphic b a t s

Miscellaneous

thunk

chunk

curried

Type wrappers

i'Id

i'OrdList

i'Const

i'Dual

i'Endo

i'Flip

i'maybe

i'Max

i'Compose

i'Backwards

i'Accum

Algebraic isomorphisms

negated

commuted

adding

Higher-order isomorphisms

warp2

mapping

mapping'

promapping

applying

class IsoFunctor f

(<.>)

class IsoFunctor2 f