Data.Geometry.Properties

Defines some generic geometric properties e.g. Dimensions, NumType, and Intersection types.

Documentation

module Data.Intersection

type family Dimension t :: Nat

A type family for types that are associated with a dimension. The dimension is the dimension of the geometry they are embedded in.

Instances

type Dimension (Boundary g)

Defined in Data.Geometry.Boundary

type Dimension (Boundary g) = Dimension g

type Dimension (core :+ ext)

Defined in Data.Geometry.Properties

type Dimension (core :+ ext) = Dimension core

type Dimension (Interval a r)

Defined in Data.Geometry.Interval

type Dimension (Interval a r) = 1

type Dimension (Vector d r)

Defined in Data.Geometry.Vector

type Dimension (Vector d r) = d

type Dimension (Point d r)

Defined in Data.Geometry.Point

type Dimension (Point d r) = d

type Dimension (Line d r)

Defined in Data.Geometry.Line.Internal

type Dimension (Line d r) = d

type Dimension (HyperPlane d r)

Defined in Data.Geometry.HyperPlane

type Dimension (HyperPlane d r) = d

type Dimension (HalfLine d r)

Defined in Data.Geometry.HalfLine

type Dimension (HalfLine d r) = d

type Dimension (HalfSpace d r)

Defined in Data.Geometry.HalfSpace

type Dimension (HalfSpace d r) = d

type Dimension (SomePolygon p r)

Defined in Data.Geometry.Polygon.Core

type Dimension (SomePolygon p r) = 2

type Dimension (ConvexPolygon p r)

Polygons are per definition 2 dimensional

Defined in Data.Geometry.Polygon.Convex

type Dimension (ConvexPolygon p r) = 2

type Dimension (Triangulation p r)

Defined in Algorithms.Geometry.DelaunayTriangulation.Types

type Dimension (Triangulation p r) = 2

type Dimension (Box d p r)

Defined in Data.Geometry.Box.Internal

type Dimension (Box d p r) = d

type Dimension (LineSegment d p r)

Defined in Data.Geometry.LineSegment

type Dimension (LineSegment d p r) = d

type Dimension (PolyLine d p r)

Defined in Data.Geometry.PolyLine

type Dimension (PolyLine d p r) = d

type Dimension (Ball d p r)

Defined in Data.Geometry.Ball

type Dimension (Ball d p r) = d

type Dimension (Triangle d p r)

Defined in Data.Geometry.Triangle

type Dimension (Triangle d p r) = d

type Dimension (Polygon t p r)

Polygons are per definition 2 dimensional

Defined in Data.Geometry.Polygon.Core

type Dimension (Polygon t p r) = 2

type Dimension (SubLine d p s r)

Defined in Data.Geometry.SubLine

type Dimension (SubLine d p s r) = d

type Dimension (PlaneGraph s v e f r)

Defined in Data.PlaneGraph.Core

type Dimension (PlaneGraph s v e f r) = 2

type Dimension (PlanarSubdivision s v e f r)

Defined in Data.Geometry.PlanarSubdivision.Basic

type Dimension (PlanarSubdivision s v e f r) = 2

type Dimension (Arrangement s l v e f r)

Defined in Data.Geometry.Arrangement.Internal

type Dimension (Arrangement s l v e f r) = 2

type family NumType t :: *

A type family for types that have an associated numeric type.

Instances

type NumType [t]

Defined in Data.Geometry.Properties

type NumType [t] = NumType t

type NumType (Range a)

Defined in Data.Geometry.Properties

type NumType (Range a) = a

type NumType (I a)

Defined in Data.Geometry.SegmentTree.Generic

type NumType (I a) = NumType a

type NumType (Boundary g)

Defined in Data.Geometry.Boundary

type NumType (Boundary g) = NumType g

type NumType (core :+ ext)

Defined in Data.Geometry.Properties

type NumType (core :+ ext) = NumType core

type NumType (Interval a r)

Defined in Data.Geometry.Interval

type NumType (Interval a r) = r

type NumType (Vector d r)

Defined in Data.Geometry.Vector

type NumType (Vector d r) = r

type NumType (Point d r)

Defined in Data.Geometry.Point

type NumType (Point d r) = r

type NumType (Transformation d r)

Defined in Data.Geometry.Transformation

type NumType (Transformation d r) = r

type NumType (Line d r)

Defined in Data.Geometry.Line.Internal

type NumType (Line d r) = r

type NumType (HyperPlane d r)

Defined in Data.Geometry.HyperPlane

type NumType (HyperPlane d r) = r

type NumType (HalfLine d r)

Defined in Data.Geometry.HalfLine

type NumType (HalfLine d r) = r

type NumType (HalfSpace d r)

Defined in Data.Geometry.HalfSpace

type NumType (HalfSpace d r) = r

type NumType (SomePolygon p r)

Defined in Data.Geometry.Polygon.Core

type NumType (SomePolygon p r) = r

type NumType (ConvexPolygon p r)

Defined in Data.Geometry.Polygon.Convex

type NumType (ConvexPolygon p r) = r

type NumType (Triangulation p r)

Defined in Algorithms.Geometry.DelaunayTriangulation.Types

type NumType (Triangulation p r) = r

type NumType (Box d p r)

Defined in Data.Geometry.Box.Internal

type NumType (Box d p r) = r

type NumType (LineSegment d p r)

Defined in Data.Geometry.LineSegment

type NumType (LineSegment d p r) = r

type NumType (PolyLine d p r)

Defined in Data.Geometry.PolyLine

type NumType (PolyLine d p r) = r

type NumType (Ball d p r)

Defined in Data.Geometry.Ball

type NumType (Ball d p r) = r

type NumType (Triangle d p r)

Defined in Data.Geometry.Triangle

type NumType (Triangle d p r) = r

type NumType (Polygon t p r)

Defined in Data.Geometry.Polygon.Core

type NumType (Polygon t p r) = r

type NumType (PlaneGraph s v e f r)

Defined in Data.PlaneGraph.Core

type NumType (PlaneGraph s v e f r) = r

type NumType (PlanarSubdivision s v e f r)

Defined in Data.Geometry.PlanarSubdivision.Basic

type NumType (PlanarSubdivision s v e f r) = r

type NumType (Arrangement s l v e f r)

Defined in Data.Geometry.Arrangement.Internal

type NumType (Arrangement s l v e f r) = r