ad-3.4: Automatic Differentiation

PortabilityGHC only
Stabilityexperimental
Maintainerekmett@gmail.com
Safe HaskellNone

Numeric.AD.Internal.Var

Description

Variables used for reverse-mode automatic differentiation.

Synopsis

Documentation

class Primal v => Var v whereSource

Used to mark variables for inspection during the reverse pass

Methods

var :: a -> Int -> v aSource

varId :: v a -> IntSource

Instances

Var Variable 
Var Kahn 
Var f => Var (AD f) 
Var (Reverse s) 

bind :: (Traversable f, Var v) => f a -> (f (v a), (Int, Int))Source

unbind :: (Functor f, Var v) => f (v a) -> Array Int a -> f aSource

unbindMap :: (Functor f, Var v, Num a) => f (v a) -> IntMap a -> f aSource

unbindWith :: (Functor f, Var v, Num a) => (a -> b -> c) -> f (v a) -> Array Int b -> f cSource

unbindMapWithDefault :: (Functor f, Var v, Num a) => b -> (a -> b -> c) -> f (v a) -> IntMap b -> f cSource

data Variable a Source

Constructors

Variable a !Int 

Instances

vary :: Var f => Variable a -> f aSource