Hi!
The generic functions in rstantools are great (I am right now developing a package and implementing them one by one). I was wondering if a generic posterior_cdf function would make sense to add. I mean these function acknowledge the fact that we deal with a density (the posterior). As such it makes sense to have posterior_interval. However, we sometimes do want to know things like Pr(y < some value). I know that this is really simple to calculate when having the full posterior available, but having the convenience of such a function which gives me interval probabilities would be nice.
Just a thought which I am happy to translate into a ticket?
Best,
Sebastian