DeepDarkFantasy-0.2017.4.9: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Diff

Documentation

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

Instances

type Diff v Ordering Source # 
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)