DDF.Meta.Diff

Documentation

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

Instances

type DiffType v Char

type DiffType v Char = Char

type DiffType v Bool

type DiffType v Bool = Bool

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 Void

type DiffType v Void = Void

type DiffType v ()

type DiffType v () = ()

type DiffType v [l]

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

type DiffType v (Maybe l)

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

type DiffType v (IO l)

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

type DiffType v (Dual l r)

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

type DiffType v (Map k val)

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

type DiffType v (State l r)

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

type DiffType v (Either l r)

type DiffType v (Either l r) = Either (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 (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 GDiff r h x

Constructors

GDiff

Fields

• runGDiff :: forall v. Vector r v => Proxy v -> Diff r v h x

newtype RTInfDiff r h x

Constructors

RTInfDiff

Fields

• runRTInfDiff :: Combine r (GDiff (RTInfDiff r)) h x

newtype InfDiff r v h x

Constructors

InfDiff

Fields

• runInfDiff :: Combine r (Diff (InfDiff r v) v) h x

newtype GInfDiff r h x

Constructors

GInfDiff

Fields

• runGInfDiff :: forall v. (Vector r v, Vector (InfDiff r v) v) => Proxy v -> InfDiff r v h x

newtype Diff r v h x

Constructors

Diff

Fields

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

module DDF.Meta.Interpreter

module DDF.Vector