Data.Manifold.PseudoAffine
class Manifold m
class Semimanifold x
type Needle' x
class PseudoAffine x
data Local x
type Metric x
type Metric' x
type RieMetric x
type RieMetric' x
data SemimanifoldWitness x
data PseudoAffineWitness x
data BoundarylessWitness m
type DualNeedleWitness x
type WithField s c x
type LocallyScalable s x
type LocalLinear x y
type LocalBilinear x y
type LocalAffine x y
class LocallyCoercible x ξ
data CanonicalDiffeomorphism a b
class ImpliesMetric s