Data.Random.Manifold

Documentation

shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x

A shade can be considered a specification for a generalised normal distribution.

If you use rvar to sample a large number of points from a shade sh in a sufficiently flat space, then pointsShades of that sample will again be approximately [sh].

shadeT :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVarT m x

type D_S x = (WithField ℝ PseudoAffine x, SimpleSpace (Needle x))

instance D_S x => Distribution Shade x

uncertainFunctionSamplesT :: forall x y m. (WithField ℝ Manifold x, SimpleSpace (Needle x), WithField ℝ Manifold y, SimpleSpace (Needle y)) => Int -> Shade x -> (x -> Shade y) -> RVarT m (x `Shaded` y)

uncrtFuncIntervalSpls :: (x ~ ℝ, y ~ ℝ) => Int -> (x, x) -> (x -> (y, Diff y)) -> RVar (x `Shaded` y)