Data.Lens.Edit.Primitive

Documentation

data Id dX

Constructors

Id

Instances

Eq (Id dX)

Ord (Id dX)

Read (Id dX)

Show (Id dX)

Bidirectional (Id dX)

Lens (Id dX)

Lens (Id dX)

data Compose k l

Constructors

Compose k l

Instances

(Eq k, Eq l) => Eq (Compose k l)

(Ord k, Ord l) => Ord (Compose k l)

(Read k, Read l) => Read (Compose k l)

(Show k, Show l) => Show (Compose k l)

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

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

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

data ComposeFL k l

Constructors

ComposeFL k l

Instances

(Eq k, Eq l) => Eq (ComposeFL k l)

(Ord k, Ord l) => Ord (ComposeFL k l)

(Read k, Read l) => Read (ComposeFL k l)

(Show k, Show l) => Show (ComposeFL k l)

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

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

data ComposeLF k l

Constructors

ComposeLF k l

Instances

(Eq k, Eq l) => Eq (ComposeLF k l)

(Ord k, Ord l) => Ord (ComposeLF k l)

(Read k, Read l) => Read (ComposeLF k l)

(Show k, Show l) => Show (ComposeLF k l)

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

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

data Op l

Constructors

Op l

Instances

Eq l => Eq (Op l)

Ord l => Ord (Op l)

Read l => Read (Op l)

Show l => Show (Op l)

Bidirectional l => Bidirectional (Op l)

Lens l => Lens (Op l)

Lens l => Lens (Op l)

data Disconnect dX dY

Constructors

Disconnect

Instances

Eq (Disconnect dX dY)

Ord (Disconnect dX dY)

Read (Disconnect dX dY)

Show (Disconnect dX dY)

Bidirectional (Disconnect dX dY)

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

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