Spidr.Model.MeanFunction

Mean functions, particularly for use in Gaussian processes.

Definitions

0 MeanFunction : (0 _ : Shape) -> Type

  A `MeanFunction` maps a point in feature space to the mean value of a corresponding
  distribution in target space.
  
  @features The shape of the feature domain.

Totality: total
Visibility: public export

zero : MeanFunction features

  A mean function where the mean is zero in all target dimensions.

Totality: total
Visibility: export