Downhill.Internal.Graph.Types

Types of nodes and edges of the computational graph.

Parameters:

• p - is parent node; might be OpenKey or NodeKey
• e - edge type
• a - type of the initial node of expression
• v - type of the node.

Linear functions

newtype BackFun u v

Edge type for backward mode evaluation

Constructors

BackFun

Fields

• unBackFun :: v -> VecBuilder u

newtype FwdFun u v

Edge type for forward mode evaluation

Constructors

FwdFun

Fields

• unFwdFun :: u -> VecBuilder v

flipBackFun :: BackFun u v -> FwdFun v u

flipFwdFun :: FwdFun u v -> BackFun v u