HGeometry.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 details

type Dimension (NonEmpty g) Source #
Instance details Defined in HGeometry.Properties type Dimension (NonEmpty g) = Dimension g
type Dimension (V1 r) Source #
Instance details Defined in HGeometry.Vector.Class type Dimension (V1 r) = 1
type Dimension (V2 r) Source #
Instance details Defined in HGeometry.Vector.Class type Dimension (V2 r) = 2
type Dimension (V3 r) Source #
Instance details Defined in HGeometry.Vector.Class type Dimension (V3 r) = 3
type Dimension (V4 r) Source #
Instance details Defined in HGeometry.Vector.Class type Dimension (V4 r) = 4
type Dimension (Maybe a) Source #
Instance details Defined in HGeometry.Properties type Dimension (Maybe a) = Dimension a
type Dimension [t] Source #
Instance details Defined in HGeometry.Properties type Dimension [t] = Dimension t
type Dimension (ByIndex ix a) Source #
Instance details Defined in HGeometry.Properties type Dimension (ByIndex ix a) = Dimension a
type Dimension (core :+ extra) Source #
Instance details Defined in HGeometry.Properties type Dimension (core :+ extra) = Dimension core
type Dimension (Vector d r) Source #
Instance details Defined in HGeometry.Vector.Type type Dimension (Vector d r) = d

type family NumType t Source #

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

Instances details

type NumType (NonEmpty g) Source #
Instance details Defined in HGeometry.Properties type NumType (NonEmpty g) = NumType g
type NumType (Maybe a) Source #
Instance details Defined in HGeometry.Properties type NumType (Maybe a) = NumType a
type NumType [t] Source #
Instance details Defined in HGeometry.Properties type NumType [t] = NumType t
type NumType (Either l r) Source #
Instance details Defined in HGeometry.Properties type NumType (Either l r) = NumType r
type NumType (ByIndex ix a) Source #
Instance details Defined in HGeometry.Properties type NumType (ByIndex ix a) = NumType a
type NumType (core :+ extra) Source #
Instance details Defined in HGeometry.Properties type NumType (core :+ extra) = NumType core
type NumType (Vector d r) Source #
Instance details Defined in HGeometry.Vector.Type type NumType (Vector d r) = r