Geography.VectorTile.Geometry

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-1bHf4qP45dlLu9kf2RCDSn" 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-1bHf4qP45dlLu9kf2RCDSn" 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.

Orphan instances

Monoid Point

Points are just vectors in R2, and thus form a Vector space.

Methods

mempty :: Point

mappend :: Point -> Point -> Point

mconcat :: [Point] -> Point