DDF.Meta.Diff

Documentation

type family DiffType (v :: *) (x :: *)

Instances

type DiffType v Int

type DiffType v Int = Int

type DiffType v Void

type DiffType v Void = Void

type DiffType v ()

type DiffType v () = ()

type DiffType v Float

type DiffType v Float = Dual Float v

type DiffType v Double

type DiffType v Double = Dual Double v

type DiffType v Char

type DiffType v Char = Char

type DiffType v Bool

type DiffType v Bool = Bool

type DiffType v (Fix f)

type DiffType v (Fix f) = DiffWrapper ((:) * v ([] *)) (f (Fix f))

type DiffType v [l]

type DiffType v [l] = [DiffType v l]

type DiffType v (IO l)

type DiffType v (IO l) = IO (DiffType v l)

type DiffType v (Maybe l)

type DiffType v (Maybe l) = Maybe (DiffType v l)

type DiffType v (VectorTF t f)

type DiffType v (VectorTF t f) = VectorTF (DiffType v t) (DiffType v f)

type DiffType v (State l r)

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

type DiffType v (Writer l r)

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

type DiffType v (FreeVector a b)

type DiffType v (FreeVector a b) = FreeVector (DiffType v a) (DiffType v b)

type DiffType v (DiffWrapper a x)

type DiffType v (DiffWrapper a x) = DiffWrapper ((:) * v a) x

type DiffType v (Either l r)

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

type DiffType v (Bimap a b)

type DiffType v (Bimap a b) = Bimap (DiffType v a) (DiffType v b)

type DiffType v (Map k val)

type DiffType v (Map k val) = Map (DiffType v k) (DiffType v val)

type DiffType v (Dual l r)

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

type DiffType v (l, r)

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

type DiffType v (l -> r)

type DiffType v (l -> r) = DiffType v l -> DiffType v r

newtype Diff r v h x

Constructors

Diff

Fields

• runDiff :: r (DiffType v h) (DiffType v x)

module DDF.Vector