Skip to main content

distribution.tppl

function draw​

function draw[X](dist : Dist[X]) => X

function drawGammaExponential​

function drawGammaExponential(gdist: GammaDist, multiplier: Real) => GammaExpDraw

function drawGammaPoisson​

function drawGammaPoisson(gdist: GammaDist, multiplier: Real) => GammaPoissonDraw

function drawNormalInverseGammaGaussian​

function drawNormalInverseGammaGaussian(nig: NormalInverseGammaDist) => NormalInverseGammaGaussianDraw

type GammaDist​

type GammaDist = GammaDist {
    alpha : Real,
    beta  : Real
}

type GammaExpDraw​

type GammaExpDraw = GammaExpDraw {
    gdist: GammaDist,
    rv   : Real
}

type GammaPoissonDraw​

type GammaPoissonDraw = GammaPoissonDraw {
    gdist: GammaDist,
    rv   : Int
}

function logPdf​

function logPdf[X](x : X, dist : Dist[X]) => Real

function logPmf​

function logPmf[X](x : X, dist : Dist[X]) => Real

function lomaxLogPDF​

function lomaxLogPDF(x: Real, alpha: Real, lambda: Real) => Real

function lomaxRv​

function lomaxRv(alpha: Real, lambda: Real) => Real

function negbinomialLogPMF​

function negbinomialLogPMF(x: Int, r: Real, p: Real) => Real

function negbinomialRv​

function negbinomialRv(r: Real, p: Real) => Int

type NormalInverseGammaDist​

type NormalInverseGammaDist = NormalInverseGammaDist {
    mu0    : Real,
    lambda : Real,
    alpha  : Real,
    beta   : Real
}

type NormalInverseGammaGaussianDraw​

type NormalInverseGammaGaussianDraw = NormalInverseGammaGaussianDraw {
    nigdist : NormalInverseGammaDist,
    rv      : Real
}

function observeGammaExponential​

function observeGammaExponential(x: Real, gdist: GammaDist, multiplier: Real) => GammaDist

function observeGammaPoisson​

function observeGammaPoisson(x: Int, gdist: GammaDist, multiplier: Real) => GammaDist

function pdf​

function pdf[X](x : X, dist : Dist[X]) => Real

function pmf​

function pmf[X](x : X, dist : Dist[X]) => Real