DeepDarkFantasy-0.2017.8.9: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.WithDiff

Documentation

class Monoid r w => WithDiff r w where Source #

Minimal complete definition

withDiff

Methods

withDiff :: r h ((w -> x) -> w -> DiffType x w) Source #

Instances

Lang r => WithDiff r Float Source # 

Methods

withDiff :: r h ((Float -> x) -> Float -> DiffType x Float) Source #

Lang r => WithDiff r Double Source # 

Methods

withDiff :: r h ((Double -> x) -> Double -> DiffType x Double) Source #

Lang r => WithDiff r () Source # 

Methods

withDiff :: r h ((() -> x) -> () -> DiffType x ()) Source #

(Lang repr, WithDiff repr l, WithDiff repr r) => WithDiff repr (l, r) Source # 

Methods

withDiff :: repr h (((l, r) -> x) -> (l, r) -> DiffType x (l, r)) Source #

Lang repr => ProdCon (WithDiff repr) l r Source # 

Methods

prodCon :: (WithDiff repr l, WithDiff repr r) :- WithDiff repr (l, r) Source #

withDiff1 :: (WithDiff r w, DBI r) => r h (w -> x) -> r h (w -> DiffType x w) Source #

selfWithDiff :: (DBI r, WithDiff r w) => r h (w -> DiffType w w) Source #