rangeOnGeodesic | Data.Manifold.TreeCover |
Real0 | Data.Manifold.Types, Data.Manifold |
Real1 | Data.Manifold.Types, Data.Manifold |
Real2 | Data.Manifold.Types, Data.Manifold |
Real3 | Data.Manifold.Types, Data.Manifold |
RealDimension | Data.Manifold.PseudoAffine, Data.Manifold |
RealPlus | Data.Manifold.Types, Data.Manifold |
Refinable | Data.Manifold.TreeCover |
refineShade' | Data.Manifold.TreeCover |
Region | Data.Function.Differentiable |
regionOfContinuityAround | Data.Function.Differentiable |
Riemannian | Data.Manifold.Riemannian |
RieMetric | Data.Manifold.PseudoAffine, Data.Manifold |
rieMetric | Data.Manifold.Riemannian |
RieMetric' | Data.Manifold.PseudoAffine, Data.Manifold |
rParamD² | Data.Manifold.Types, Data.Manifold |
rParamℝP² | Data.Manifold.Types, Data.Manifold |
runTriangT | Data.SimplicialComplex |
RWDiffable | Data.Function.Differentiable |