Downhill.Grad

Documentation

class (Scalar v ~ Scalar dv, AdditiveGroup (Scalar v), VectorSpace v, VectorSpace dv) => Dual v dv where

Dual of a vector v is a linear map v -> Scalar v.

Minimal complete definition

Nothing

Methods

evalGrad :: dv -> v -> Scalar v

default evalGrad :: (GDual (Scalar v) (Rep v) (Rep dv), Generic dv, Generic v) => dv -> v -> Scalar v

Instances

Dual Integer Integer

Defined in Downhill.Grad

Methods

evalGrad :: Integer -> Integer -> Scalar Integer

Dual Double Double

Defined in Downhill.Grad

Methods

evalGrad :: Double -> Double -> Scalar Double

Dual Float Float

Defined in Downhill.Grad

Methods

evalGrad :: Float -> Float -> Scalar Float

Num a => Dual (AsNum a) (AsNum a)

Defined in Downhill.BVar.Num

Methods

evalGrad :: AsNum a -> AsNum a -> Scalar (AsNum a)

(Scalar a ~ Scalar b, Dual a da, Dual b db) => Dual (a, b) (da, db)

Defined in Downhill.Grad

Methods

evalGrad :: (da, db) -> (a, b) -> Scalar (a, b)

(Scalar a ~ Scalar b, Scalar a ~ Scalar c, Dual a da, Dual b db, Dual c dc) => Dual (a, b, c) (da, db, dc)

Defined in Downhill.Grad

Methods

evalGrad :: (da, db, dc) -> (a, b, c) -> Scalar (a, b, c)

class (Dual (Tang p) (Grad p), BasicVector (Grad p), Scalar (Tang p) ~ Scalar (Grad p)) => HasGrad p

Differentiable functions don't need to be constrained to vector spaces, they can be defined on other smooth manifolds, too.

Associated Types

type Tang p :: Type

Tangent space.

type Grad p :: Type

Cotangent space.

Instances

HasGrad Integer

Defined in Downhill.Grad

Associated Types

type Tang Integer

type Grad Integer

HasGrad Double

Defined in Downhill.Grad

Associated Types

type Tang Double

type Grad Double

HasGrad Float

Defined in Downhill.Grad

Associated Types

type Tang Float

type Grad Float

Num a => HasGrad (AsNum a)

Defined in Downhill.BVar.Num

Associated Types

type Tang (AsNum a)

type Grad (AsNum a)

HasGrad a => HasGrad (TraversableVar f a)

Defined in Downhill.BVar.Traversable

Associated Types

type Tang (TraversableVar f a)

type Grad (TraversableVar f a)

(HasGrad a, HasGrad b, MScalar b ~ MScalar a) => HasGrad (a, b)

Defined in Downhill.Grad

Associated Types

type Tang (a, b)

type Grad (a, b)

(HasGrad a, HasGrad b, HasGrad c, MScalar b ~ MScalar a, MScalar c ~ MScalar a) => HasGrad (a, b, c)

Defined in Downhill.Grad

Associated Types

type Tang (a, b, c)

type Grad (a, b, c)

type MScalar p = Scalar (Tang p)

type GradBuilder v = VecBuilder (Grad v)

type HasGradAffine p = (AffineSpace p, HasGrad p, HasGrad (Tang p), Tang p ~ Diff p, Tang (Tang p) ~ Tang p, Grad (Tang p) ~ Grad p)