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 (Diff v (Dual l r)))

type Diff v (Dual l r)

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

dualOrig :: Dual t1 t -> t1

dualDiff :: Dual t t1 -> t1

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