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 i -> m (Fin i)

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

Visibility: public export