edit-lenses-0.2: Symmetric, stateful edit lenses

Data.Module.Sum

Documentation

data Tag Source

Constructors

L
R

Instances

Bounded Tag
Enum Tag
Eq Tag
Ord Tag
Read Tag
Show Tag

newtype Retag x y Source

Constructors

Retag (Maybe (Endo Tag))

Instances

Eq (Retag x y)
Monoid (Retag x y)
(Default x, Default y) => Module (Retag x y)

data Sum dX dY Source

Constructors

Sum (Retag (V dX) (V dY)) dX dY

Instances

(Monoid dX, Monoid dY) => Monoid (Sum dX dY)
(Module dX, Module dY) => Module (Sum dX dY)

data SumAtom dX dY Source

Constructors

FailSum
SwitchLL dX
SwitchLR dY
SwitchRL dX
SwitchRR dY
StayL dX
StayR dY

Instances

(Eq dX, Eq dY) => Eq (SumAtom dX dY)
(Ord dX, Ord dY) => Ord (SumAtom dX dY)
(Read dX, Read dY) => Read (SumAtom dX dY)
(Show dX, Show dY) => Show (SumAtom dX dY)
(Module dX, Module dY) => PartialEdit (SumAtom dX dY)