DDF.Meta.Dual

Documentation

newtype Dual l r

Constructors

Dual

Fields

• runDual :: (l, r)

Instances

Eq l => Eq (Dual l r)

Methods

(==) :: Dual l r -> Dual l r -> Bool

(/=) :: Dual l r -> Dual l r -> Bool

Ord l => Ord (Dual l r)

Methods

compare :: Dual l r -> Dual l r -> Ordering

(<) :: Dual l r -> Dual l r -> Bool

(<=) :: Dual l r -> Dual l r -> Bool

(>) :: Dual l r -> Dual l r -> Bool

(>=) :: Dual l r -> Dual l r -> Bool

max :: Dual l r -> Dual l r -> Dual l r

min :: Dual l r -> Dual l r -> 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