Control.Monad.Sample.Definition

Definitions

interface MonadSample : (Type -> Type) -> Type

  Interface for sampling from a distribution
  We require that there is at least one element in the distribution
  TODO add temperature as a implicit parameter with a defualt value of 1.0

Parameters: m
Constraints: Monad m
Methods:

sample : IsSucc i => Dist name i -> m (Fin i)

sample : MonadSample m => IsSucc i => Dist name i -> m (Fin i)

Totality: total
Visibility: public export

Sample : MonadSample m => IsSucc n => (m <!> Dist name n) =%> Scalar

  Sampling as a costate on the container of distributions

Totality: total
Visibility: public export