| Copyright | (C) Frank Staals |
|---|---|
| License | see the LICENSE file |
| Maintainer | Frank Staals |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
HGeometry.Properties
Description
Defines some generic geometric properties e.g. Dimensions, NumType, and Intersection types.
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 (NonEmpty g) Source # | |
Defined in HGeometry.Properties | |
| type Dimension (V1 r) Source # | |
Defined in HGeometry.Vector.Class | |
| type Dimension (V2 r) Source # | |
Defined in HGeometry.Vector.Class | |
| type Dimension (V3 r) Source # | |
Defined in HGeometry.Vector.Class | |
| type Dimension (V4 r) Source # | |
Defined in HGeometry.Vector.Class | |
| type Dimension (Maybe a) Source # | |
Defined in HGeometry.Properties | |
| type Dimension [t] Source # | |
Defined in HGeometry.Properties | |
| type Dimension (Vector d r) Source # | |
Defined in HGeometry.Vector.Type | |
| type Dimension (core :+ extra) Source # | |
Defined in HGeometry.Properties | |
type family NumType t :: Type Source #
A type family for types that have an associated numeric type.
Instances
| type NumType (NonEmpty g) Source # | |
Defined in HGeometry.Properties | |
| type NumType (Maybe a) Source # | |
Defined in HGeometry.Properties | |
| type NumType [t] Source # | |
Defined in HGeometry.Properties | |
| type NumType (Either l r) Source # | |
Defined in HGeometry.Properties | |
| type NumType (Vector d r) Source # | |
Defined in HGeometry.Vector.Type | |
| type NumType (core :+ extra) Source # | |
Defined in HGeometry.Properties | |