update_lazy_beta_bernoulli


function update_lazy_beta_bernoulli(x:Expression<Boolean>, α:Expression<Real>, β:Expression<Real>) -> (Expression<Real>, Expression<Real>)

Update the parameters of a Beta distribution with a Bernoulli likelihood.

  • x: The variate.
  • α: Prior first shape.
  • β: Prior second shape.

Returns: the posterior hyperparameters α' and β'.