Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	Haskell2010

Data.Geometry.Properties

Description

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

Synopsis

module Data.Intersection
type family Dimension t :: Nat
type family NumType t :: *

Documentation

module Data.Intersection

type family Dimension t :: Nat Source #

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

Instances

Instances details

type Dimension (Boundary g) Source #
Instance details Defined in Data.Geometry.Boundary type Dimension (Boundary g) = Dimension g
type Dimension (Cell r) Source #
Instance details Defined in Data.Geometry.QuadTree.Cell type Dimension (Cell r) = 2
type Dimension (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse type Dimension (Ellipse r) = 2
type Dimension (core :+ ext) Source #
Instance details Defined in Data.Geometry.Properties type Dimension (core :+ ext) = Dimension core
type Dimension (Interval a r) Source #
Instance details Defined in Data.Geometry.Interval type Dimension (Interval a r) = 1
type Dimension (Vector d r) Source #
Instance details Defined in Data.Geometry.Vector type Dimension (Vector d r) = d
type Dimension (Point d r) Source #
Instance details Defined in Data.Geometry.Point.Internal type Dimension (Point d r) = d
type Dimension (Line d r) Source #
Instance details Defined in Data.Geometry.Line.Internal type Dimension (Line d r) = d
type Dimension (HyperPlane d r) Source #
Instance details Defined in Data.Geometry.HyperPlane type Dimension (HyperPlane d r) = d
type Dimension (HalfLine d r) Source #
Instance details Defined in Data.Geometry.HalfLine type Dimension (HalfLine d r) = d
type Dimension (HalfSpace d r) Source #
Instance details Defined in Data.Geometry.HalfSpace type Dimension (HalfSpace d r) = d
type Dimension (SomePolygon p r) Source #
Instance details Defined in Data.Geometry.Polygon.Core type Dimension (SomePolygon p r) = 2
type Dimension (ConvexPolygon p r) Source #	Polygons are per definition 2 dimensional
Instance details Defined in Data.Geometry.Polygon.Convex type Dimension (ConvexPolygon p r) = 2
type Dimension (Triangulation p r) Source #
Instance details Defined in Algorithms.Geometry.DelaunayTriangulation.Types type Dimension (Triangulation p r) = 2
type Dimension (Box d p r) Source #
Instance details Defined in Data.Geometry.Box.Internal type Dimension (Box d p r) = d
type Dimension (LineSegment d p r) Source #
Instance details Defined in Data.Geometry.LineSegment.Internal type Dimension (LineSegment d p r) = d
type Dimension (PolyLine d p r) Source #
Instance details Defined in Data.Geometry.PolyLine type Dimension (PolyLine d p r) = d
type Dimension (BezierSpline n d r) Source #
Instance details Defined in Data.Geometry.BezierSpline type Dimension (BezierSpline n d r) = d
type Dimension (Ball d p r) Source #
Instance details Defined in Data.Geometry.Ball type Dimension (Ball d p r) = d
type Dimension (Triangle d p r) Source #
Instance details Defined in Data.Geometry.Triangle type Dimension (Triangle d p r) = d
type Dimension (Polygon t p r) Source #	Polygons are per definition 2 dimensional
Instance details Defined in Data.Geometry.Polygon.Core type Dimension (Polygon t p r) = 2
type Dimension (SubLine d p s r) Source #
Instance details Defined in Data.Geometry.SubLine type Dimension (SubLine d p s r) = d
type Dimension (PlaneGraph s v e f r) Source #
Instance details Defined in Data.PlaneGraph.Core type Dimension (PlaneGraph s v e f r) = 2
type Dimension (PlanarSubdivision s v e f r) Source #
Instance details Defined in Data.Geometry.PlanarSubdivision.Basic type Dimension (PlanarSubdivision s v e f r) = 2
type Dimension (Arrangement s l v e f r) Source #
Instance details Defined in Data.Geometry.Arrangement.Internal type Dimension (Arrangement s l v e f r) = 2

type family NumType t :: * Source #

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

Instances

Instances details

type NumType [t] Source #
Instance details Defined in Data.Geometry.Properties type NumType [t] = NumType t
type NumType (Range a) Source #
Instance details Defined in Data.Geometry.Properties type NumType (Range a) = a
type NumType (I a) Source #
Instance details Defined in Data.Geometry.SegmentTree.Generic type NumType (I a) = NumType a
type NumType (Boundary g) Source #
Instance details Defined in Data.Geometry.Boundary type NumType (Boundary g) = NumType g
type NumType (Cell r) Source #
Instance details Defined in Data.Geometry.QuadTree.Cell type NumType (Cell r) = r
type NumType (Ellipse r) Source #
Instance details Defined in Data.Geometry.Ellipse type NumType (Ellipse r) = r
type NumType (core :+ ext) Source #
Instance details Defined in Data.Geometry.Properties type NumType (core :+ ext) = NumType core
type NumType (Interval a r) Source #
Instance details Defined in Data.Geometry.Interval type NumType (Interval a r) = r
type NumType (Vector d r) Source #
Instance details Defined in Data.Geometry.Vector type NumType (Vector d r) = r
type NumType (Point d r) Source #
Instance details Defined in Data.Geometry.Point.Internal type NumType (Point d r) = r
type NumType (Transformation d r) Source #
Instance details Defined in Data.Geometry.Transformation type NumType (Transformation d r) = r
type NumType (Line d r) Source #
Instance details Defined in Data.Geometry.Line.Internal type NumType (Line d r) = r
type NumType (HyperPlane d r) Source #
Instance details Defined in Data.Geometry.HyperPlane type NumType (HyperPlane d r) = r
type NumType (HalfLine d r) Source #
Instance details Defined in Data.Geometry.HalfLine type NumType (HalfLine d r) = r
type NumType (HalfSpace d r) Source #
Instance details Defined in Data.Geometry.HalfSpace type NumType (HalfSpace d r) = r
type NumType (SomePolygon p r) Source #
Instance details Defined in Data.Geometry.Polygon.Core type NumType (SomePolygon p r) = r
type NumType (ConvexPolygon p r) Source #
Instance details Defined in Data.Geometry.Polygon.Convex type NumType (ConvexPolygon p r) = r
type NumType (Triangulation p r) Source #
Instance details Defined in Algorithms.Geometry.DelaunayTriangulation.Types type NumType (Triangulation p r) = r
type NumType (Box d p r) Source #
Instance details Defined in Data.Geometry.Box.Internal type NumType (Box d p r) = r
type NumType (LineSegment d p r) Source #
Instance details Defined in Data.Geometry.LineSegment.Internal type NumType (LineSegment d p r) = r
type NumType (PolyLine d p r) Source #
Instance details Defined in Data.Geometry.PolyLine type NumType (PolyLine d p r) = r
type NumType (BezierSpline n d r) Source #
Instance details Defined in Data.Geometry.BezierSpline type NumType (BezierSpline n d r) = r
type NumType (Ball d p r) Source #
Instance details Defined in Data.Geometry.Ball type NumType (Ball d p r) = r
type NumType (Triangle d p r) Source #
Instance details Defined in Data.Geometry.Triangle type NumType (Triangle d p r) = r
type NumType (Polygon t p r) Source #
Instance details Defined in Data.Geometry.Polygon.Core type NumType (Polygon t p r) = r
type NumType (PlaneGraph s v e f r) Source #
Instance details Defined in Data.PlaneGraph.Core type NumType (PlaneGraph s v e f r) = r
type NumType (PlanarSubdivision s v e f r) Source #
Instance details Defined in Data.Geometry.PlanarSubdivision.Basic type NumType (PlanarSubdivision s v e f r) = r
type NumType (Arrangement s l v e f r) Source #
Instance details Defined in Data.Geometry.Arrangement.Internal type NumType (Arrangement s l v e f r) = r