DeepDarkFantasy-0.2017.4.19: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Meta.Diff

Documentation

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

Instances

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

newtype GDiff r h x Source #

Constructors

GDiff 

Fields

newtype RTInfDiff r h x Source #

Constructors

RTInfDiff 

Fields

newtype InfDiff r v h x Source #

Constructors

InfDiff 

Fields

newtype GInfDiff r h x Source #

Constructors

GInfDiff 

Fields

newtype Diff r v h x Source #

Constructors

Diff 

Fields

module DDF.Meta.Interpreter

module DDF.Vector