Log-CCDF of the discrete Laplace distribution with location 0, for truncated fits
Source:R/family.R
dlaplace1_lccdf_stanvars.RdReturns a brms::stanvar() defining dlaplace1_lccdf, the log
complementary CDF of the discrete Laplace(0, sigma) distribution:
dlaplace1_lccdf(y, sigma) = log P(Z > y). dlaplace1_lccdf_stanvars()
is used in the same way as skellam1_lccdf_stanvars(), but takes no
threshold argument, because the closed form
log1m_exp(double_exponential_lcdf(...)) involves no Bessel function and
no iterative sum.
Value
A brms::stanvars object defining the dlaplace1_lccdf Stan
function, for combining with dlaplace1_stanvars() via +.
See also
dlaplace1() for the family itself; skellam1_lccdf_stanvars() for
how resp_trunc() locates these functions by name.