Safe Haskell	None
Language	Haskell2010

Downhill.TH

Description

Use like this:

mkHasGradInstances
  defaultBVarOptions
  [d|
    instance HasGrad MyRecord where
      type MScalar MyRecord = Float
    |]

Instance declaration passed to mkHasGradInstances gives two important bits of information:

Type variables for MyRecord, which can be concrete types (such as instance HasGrad (MyRecord Float)) or regular type variables (instance HasGrad (MyRecord a))
Scalar type.

Synopsis

Documentation

Generates HasGrad instance, along with Tang and Grad types, VecBuilder types and all other instances needed for HasGrad.

Constructors

MakeAffineSpace	Generate AffineSpace instance
NoAffineSpace	Don't generate AffineSpace instance
AutoAffineSpace	Generate AffineSpace instance if `optExcludeFields` is empty

Constructors

RecordNamer
Fields typeConNamer :: String -> String dataConNamer :: String -> String fieldNamer :: String -> String

Constructors

BVarOptions
Fields optTangNamer :: RecordNamer optGradNamer :: RecordNamer optMetricNamer :: RecordNamer optBuilderNamer :: RecordNamer optAffineSpace :: AffineSpaceOptions optExcludeFields :: [String] List of fields that take no part in differentiation