Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Types of nodes and edges of the computational graph.
Parameters:
p
- is parent node; might beOpenKey
orNodeKey
e
- edge typea
- type of the initial node of expressionv
- type of the node.
Synopsis
- newtype BackFun u v = BackFun {
- unBackFun :: v -> VecBuilder u
- newtype FwdFun u v = FwdFun {
- unFwdFun :: u -> VecBuilder v
- flipBackFun :: BackFun u v -> FwdFun v u
- flipFwdFun :: FwdFun u v -> BackFun v u
Linear functions
Edge type for backward mode evaluation
BackFun | |
|
Edge type for forward mode evaluation
FwdFun | |
|
flipBackFun :: BackFun u v -> FwdFun v u Source #
flipFwdFun :: FwdFun u v -> BackFun v u Source #