Data.Lens.Edit.Stateful

Documentation

class Bidirectional l => Lens l where

Associated Types

type C l

Methods

missing :: l -> C l

dputr :: l -> (L l, C l) -> (R l, C l)

dputl :: l -> (R l, C l) -> (L l, C l)

Instances

Lens l => Lens (Op l)

Lens (Id dX)

Lens l => Lens (Map l)

Lens (Iso dX dY)

(Monoid dX, Monoid dY) => Lens (Disconnect dX dY)

(R k ~ L l, Lens k, Lens l) => Lens (ComposeLF k l)

(R k ~ L l, Lens k, Lens l) => Lens (ComposeFL k l)

(R k ~ L l, Lens k, Lens l) => Lens (Compose k l)

(Lens k, Lens l) => Lens (ProductLF k l)

(Lens k, Lens l) => Lens (ProductFL k l)

(Lens k, Lens l) => Lens (Product k l)

(Lens k, Lens l) => Lens (CompactProductLF k l)

(Lens k, Lens l) => Lens (CompactProductFL k l)

(Lens k, Lens l) => Lens (CompactProduct k l)

(Lens k, Lens l) => Lens (Sum k l)

(Lens k, Lens l) => Lens (CompactSumLF k l)

(Lens k, Lens l) => Lens (SumFL k l)

(Lens k, Lens l) => Lens (CompactSum k l)

(Monoid dX, Monoid dY) => Lens (Partition dX dY)

(ContainerType shape, Lens l) => Lens (Map shape l)

foldState :: Monoid dY => (dX -> c -> (dY, c)) -> ([dX], c) -> (dY, c)