Data.Manifold.Types
type Real0
type Real1
type RealPlus
type Real2
type Real3
type Sphere0
type Sphere1
type Sphere2
type Projective1
type Projective2
type Disk1
type Disk2
type Cone
type OpenCone
data ZeroDim s
type ℝ
type ℝ⁰
type ℝ¹
type ℝ²
type ℝ³
type ℝ⁴
data Stiefel1 v
class HasUnitSphere v
data S⁰
data S¹
data S²
type ℝP¹
data ℝP²
data D¹
data D²
type ℝay
data CD¹ x
data Cℝay x
data Line x
data Cutplane x
data LinearMap s v w
type LocalLinear x y
type StiefelScalar s