hgeometry-0.10.0.0: Geometric Algorithms, Data structures, and Data types.

Copyright(C) Frank Staals
Licensesee the LICENSE file
MaintainerFrank Staals
Safe HaskellNone
LanguageHaskell2010

Data.Geometry.Properties

Description

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

Synopsis

Documentation

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
type Dimension (Boundary g) Source # 
Instance details

Defined in Data.Geometry.Boundary

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

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

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 (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
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 (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

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

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 (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