concat-examples-0.3.0.0: Some examples of compiling to categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.AD

Description

Automatic differentiation

Synopsis

Documentation

type D s = GD (L s) Source #

Differentiable functions with composed-functor style linear maps as derivatives.

andDer :: forall s a b. (a -> b) -> a -> b :* L s a b Source #

der :: forall s a b. (a -> b) -> a -> L s a b Source #

gradient :: (HasV s a, IsScalar s) => (a -> s) -> a -> a Source #

gradientD :: (HasV s a, IsScalar s) => D s a s -> a -> a Source #