Sampler

An IO-based sampling monad

Sampler monad

data Sampler a

Sampler type, for running IO computations alongside a random number generator

Instances

Monad Sampler

Defined in Sampler

Methods

(>>=) :: Sampler a -> (a -> Sampler b) -> Sampler b

(>>) :: Sampler a -> Sampler b -> Sampler b

return :: a -> Sampler a

Functor Sampler

Defined in Sampler

Methods

fmap :: (a -> b) -> Sampler a -> Sampler b

(<$) :: a -> Sampler b -> Sampler a

Applicative Sampler

Defined in Sampler

Methods

pure :: a -> Sampler a

(<*>) :: Sampler (a -> b) -> Sampler a -> Sampler b

liftA2 :: (a -> b -> c) -> Sampler a -> Sampler b -> Sampler c

(*>) :: Sampler a -> Sampler b -> Sampler b

(<*) :: Sampler a -> Sampler b -> Sampler a

liftS :: IO a -> Sampler a

Lift an IO computation into Sampler

sampleIO :: Sampler a -> IO a

Takes a Sampler, provides it a random generator, and runs the sampler in the IO context

sampleIOFixed :: Sampler a -> IO a

Takes a Sampler, provides it a fixed generator, and runs the sampler in the IO context

createSampler :: (GenIO -> IO a) -> Sampler a

Takes a distribution which awaits a generator, and returns a Sampler

Sampling functions

Given their distribution parameters, these functions await a generator and then sample a value from the distribution in the IO monad

sampleRandom :: GenIO -> IO Double

sampleCauchy

Arguments

:: Double

Location

-> Double

Scale

-> GenIO -> IO Double

sampleNormal

Arguments

:: Double

Mean

-> Double

Standard deviation

-> GenIO -> IO Double

sampleUniform

Arguments

:: Double

Lower-bound

-> Double

Upper-bound

-> GenIO -> IO Double

sampleDiscreteUniform

Arguments

:: Int

Lower-bound

-> Int

Upper-bound

-> GenIO -> IO Int

sampleGamma

Arguments

:: Double

Shape k

-> Double

Scale θ

-> GenIO -> IO Double

sampleBeta

Arguments

:: Double

Shape α

-> Double

Shape β

-> GenIO -> IO Double

sampleBernoulli

Arguments

:: Double

Probability of True

-> GenIO -> IO Bool

sampleBinomial

Arguments

:: Int

Number of trials

-> Double

Probability of successful trial

-> GenIO -> IO [Bool]

sampleCategorical

Arguments

:: Vector Double

Probabilities

-> GenIO -> IO Int

sampleDiscrete

Arguments

:: [Double]

Probabilities

-> GenIO -> IO Int

samplePoisson

Arguments

:: Double

Rate λ

-> GenIO -> IO Int

sampleDirichlet

Arguments

:: [Double]

Concentrations

-> GenIO -> IO [Double]