Copyright	(c) Azavea 2016
License	Apache 2
Maintainer	Colin Woodbury <cwoodbury@azavea.com>
Safe Haskell	None
Language	Haskell2010

Geography.VectorTile.Geometry

Contents

Geometries
- Types
- Operations

Description

Synopsis

Geometries

Types

type Point = (Int, Int) #

Points in space. Using "Record Pattern Synonyms" here allows us to treat Point like a normal ADT, while its implementation remains an unboxed (Int,Int).

x :: (Int, Int) -> Int #

y :: (Int, Int) -> Int #

newtype LineString #

newtype compiles away to expose only the Vector of unboxed Points at runtime.

Constructors

LineString
Fields lsPoints :: Vector Point

Instances

Eq LineString #
Methods (==) :: LineString -> LineString -> Bool # (/=) :: LineString -> LineString -> Bool #
Show LineString #
Methods showsPrec :: Int -> LineString -> ShowS # show :: LineString -> String # showList :: [LineString] -> ShowS #
Generic LineString #
Associated Types type Rep LineString :: * -> * # Methods from :: LineString -> Rep LineString x # to :: Rep LineString x -> LineString #
NFData LineString #
Methods rnf :: LineString -> () #
ProtobufGeom LineString #	A valid `RawFeature` of linestrings must contain pairs of: A `MoveTo` with a count of 1, followed by one `LineTo` command with a count greater than 0.
Methods fromCommands :: [Command] -> Either Text (Vector LineString) # toCommands :: Vector LineString -> [Command] #
type Rep LineString #
type Rep LineString = D1 (MetaData "LineString" "Geography.VectorTile.Geometry" "vectortiles-1.2.0.5-5XoYiQL2GTq7KI58oIIbMu" True) (C1 (MetaCons "LineString" PrefixI True) (S1 (MetaSel (Just Symbol "lsPoints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Point))))

data Polygon #

A polygon aware of its interior rings.

Constructors

Polygon
Fields polyPoints :: Vector Point inner :: Vector Polygon

Instances

Eq Polygon #
Methods (==) :: Polygon -> Polygon -> Bool # (/=) :: Polygon -> Polygon -> Bool #
Show Polygon #
Methods showsPrec :: Int -> Polygon -> ShowS # show :: Polygon -> String # showList :: [Polygon] -> ShowS #
Generic Polygon #
Associated Types type Rep Polygon :: * -> * # Methods from :: Polygon -> Rep Polygon x # to :: Rep Polygon x -> Polygon #
NFData Polygon #
Methods rnf :: Polygon -> () #
ProtobufGeom Polygon #	A valid `RawFeature` of polygons must contain at least one sequence of: An Exterior Ring, followed by 0 or more Interior Rings. Any Ring must have a `MoveTo` with a count of 1, a single `LineTo` with a count of at least 2, and a single `ClosePath` command. Performs no sanity checks for malformed Interior Rings.
Methods fromCommands :: [Command] -> Either Text (Vector Polygon) # toCommands :: Vector Polygon -> [Command] #
type Rep Polygon #
type Rep Polygon = D1 (MetaData "Polygon" "Geography.VectorTile.Geometry" "vectortiles-1.2.0.5-5XoYiQL2GTq7KI58oIIbMu" False) (C1 (MetaCons "Polygon" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "polyPoints") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Point))) (S1 (MetaSel (Just Symbol "inner") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Polygon)))))

Operations

area :: Polygon -> Float #

The area of a Polygon is the difference between the areas of its outer ring and inner rings.

surveyor :: Vector Point -> Float #

The surveyor's formula for calculating the area of a Polygon. If the value reported here is negative, then the Polygon should be considered an Interior Ring.

Assumption: The Vector given has at least 4 Points.

distance :: Point -> Point -> Float #

Euclidean distance.