Maintainer | diagrams-discuss@googlegroups.com |
---|

A type for *points* (as distinct from vectors).

- newtype Point v = P v
- origin :: AdditiveGroup v => Point v
- (*.) :: VectorSpace v => Scalar v -> Point v -> Point v

# Points

`Point`

is a newtype wrapper around vectors that we wish to treat
as points, so we don't get them mixed up. The distinction is
important: translations affect points, but leave vectors
unchanged. Points are instances of the `AffineSpace`

class from
Data.AffineSpace.

P v |

Functor Point | |

Typeable1 Point | |

Eq v => Eq (Point v) | |

Data v => Data (Point v) | |

Ord v => Ord (Point v) | |

Read v => Read (Point v) | |

Show v => Show (Point v) | |

AdditiveGroup v => AffineSpace (Point v) | |

VectorSpace v => HasOrigin (Point v) | |

HasLinearMap v => Transformable (Point v) | |

(OrderedField (Scalar v), InnerSpace v) => Boundable (Point v) | |

Newtype (Point v) v |

origin :: AdditiveGroup v => Point vSource

The origin of the vector space `v`

.