DDF.Meta.Dual

Documentation

newtype Dual l r

Constructors

Dual

Fields

• runDual :: (l, r)

Instances

Ord l => Ord (Dual l r)

Methods

diffOrd :: Proxy * (v, Dual l r) -> Dict (Ord (DiffType v (Dual l r)))

type DiffType v (Dual l r)

type DiffType v (Dual l r) = Dual (DiffType v l) (DiffType v r)

dualOrig :: Dual t1 t -> t1

dualDiff :: Dual t t1 -> t1

mkDual :: l -> r -> Dual l r