DeepDarkFantasy-0.2017.8.4: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Meta.Diff

Documentation

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

Instances

type DiffType v Int Source # 
type DiffType v Int = Int
type DiffType v Void Source # 
type DiffType v Void = Void
type DiffType v () Source # 
type DiffType v () = ()
type DiffType v Float Source # 
type DiffType v Double Source # 
type DiffType v Char Source # 
type DiffType v Char = Char
type DiffType v Bool Source # 
type DiffType v Bool = Bool
type DiffType v (Fix f) Source # 
type DiffType v (Fix f) = DiffWrapper ((:) * v ([] *)) (f (Fix f))
type DiffType v [l] Source # 
type DiffType v [l] = [DiffType v l]
type DiffType v (IO l) Source # 
type DiffType v (IO l) = IO (DiffType v l)
type DiffType v (Maybe l) Source # 
type DiffType v (Maybe l) = Maybe (DiffType v l)
type DiffType v (VectorTF t f) Source # 
type DiffType v (VectorTF t f) = VectorTF (DiffType v t) (DiffType v f)
type DiffType v (State l r) Source # 
type DiffType v (State l r) = State (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 (FreeVector a b) Source # 
type DiffType v (FreeVector a b) = FreeVector (DiffType v a) (DiffType v b)
type DiffType v (DiffWrapper a x) Source # 
type DiffType v (DiffWrapper a x) = DiffWrapper ((:) * v a) x
type DiffType v (Either l r) Source # 
type DiffType v (Either l r) = Either (DiffType v l) (DiffType v r)
type DiffType v (Bimap a b) Source # 
type DiffType v (Bimap a b) = Bimap (DiffType v a) (DiffType v b)
type DiffType v (Map k val) Source # 
type DiffType v (Map k val) = Map (DiffType v k) (DiffType v val)
type DiffType v (Dual l r) Source # 
type DiffType v (Dual l r) = Dual (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 Diff r v h x Source #

Constructors

Diff 

Fields

module DDF.Meta.Interpreter

module DDF.Vector