Control.Monad.Bayes.Sampler

Definitions

SamplerIO : Type -> Type

  An 'IO' based random sampler.

Visibility: public export

sampleIO : SamplerIO a -> IO a

  Initialize a pseudo-random number generator using randomness supplied by the operating system. Providing the randomness, i.e. setting the random seed, is done automatically, so this is just `id`.

Visibility: public export

sampleIOwith : SamplerIO a -> Bits64 -> IO a

  Like 'sampleIO' but with a custom seed.

Visibility: public export