Safe Haskell | None |
---|---|
Language | Haskell2010 |
- shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x
- 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))
- 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)
Documentation
shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x Source
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]
.
type D_S x = (WithField ℝ PseudoAffine x, SimpleSpace (Needle x)) Source
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) Source
uncrtFuncIntervalSpls :: (x ~ ℝ, y ~ ℝ) => Int -> (x, x) -> (x -> (y, Diff y)) -> RVar (x `Shaded` y) Source