Safe Haskell	Safe
Language	Haskell2010

DDF.Diff

Documentation

type family Diff (v :: *) (x :: *) Source #

Instances

type Diff v Ordering Source #
type Diff v Ordering = Ordering
type Diff v Char Source #
type Diff v Char = Char
type Diff v Bool Source #
type Diff v Bool = Bool
type Diff v Float Source #
type Diff v Float = Dual Float v
type Diff v Double Source #
type Diff v Double = Dual Double v
type Diff v Void Source #
type Diff v Void = Void
type Diff v () Source #
type Diff v () = ()
type Diff v [l] Source #
type Diff v [l] = [Diff v l]
type Diff v (Maybe l) Source #
type Diff v (Maybe l) = Maybe (Diff v l)
type Diff v (IO l) Source #
type Diff v (IO l) = IO (Diff v l)
type Diff v (Dual l r) Source #
type Diff v (Dual l r) = Dual (Diff v l) (Diff v r)
type Diff v (Map k val) Source #
type Diff v (Map k val) = Map (Diff v k) (Diff v val)
type Diff v (State l r) Source #
type Diff v (State l r) = State (Diff v l) (Diff v r)
type Diff v (Either l r) Source #
type Diff v (Either l r) = Either (Diff v l) (Diff v r)
type Diff v (Writer l r) Source #
type Diff v (Writer l r) = Writer (Diff v l) (Diff v r)
type Diff v (l -> r) Source #
type Diff v (l -> r) = Diff v l -> Diff v r
type Diff v (l, r) Source #
type Diff v (l, r) = (Diff v l, Diff v r)