Geography.VectorTile.Internal

Raw Vector Tile data is stored as binary protobuf data. This module reads and writes raw protobuf ByteStrings between a data type which closely matches the current Mapbox vector tile spec defined here: https://github.com/mapbox/vector-tile-spec/blob/master/2.1/vector_tile.proto

As this raw version of the data is hard to work with, in practice we convert to a more canonical Haskell type for further processing. See Geography.VectorTile for the user-friendly version.

Types

Protobuf Conversion

type family Protobuf a = pb | pb -> a

A family of data types which can associated with concrete underlying Protobuf types.

Instances

type Protobuf Val

type Protobuf Val = Value

type Protobuf Layer

type Protobuf Layer = Layer

type Protobuf VectorTile

type Protobuf VectorTile = Tile

class Protobuffable a where

A type which can be converted to and from an underlying Protobuf type, according to the Protobuf type family.

Minimal complete definition

fromProtobuf, toProtobuf

Methods

fromProtobuf :: Protobuf a -> Either Text a

toProtobuf :: a -> Protobuf a

Instances

Protobuffable Val

Methods

fromProtobuf :: Protobuf Val -> Either Text Val

toProtobuf :: Val -> Protobuf Val

Protobuffable Layer

Methods

fromProtobuf :: Protobuf Layer -> Either Text Layer

toProtobuf :: Layer -> Protobuf Layer

Protobuffable VectorTile

Methods

fromProtobuf :: Protobuf VectorTile -> Either Text VectorTile

toProtobuf :: VectorTile -> Protobuf VectorTile

class ProtobufGeom g where

Any classical type considered a GIS "geometry". These must be able to convert between an encodable list of Commands.

Minimal complete definition

fromCommands, toCommands

Methods

fromCommands :: [Command] -> Either Text (GeomVec g)

toCommands :: GeomVec g -> [Command]

Instances

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 (GeomVec Polygon)

toCommands :: GeomVec Polygon -> [Command]

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 (GeomVec LineString)

toCommands :: GeomVec LineString -> [Command]

ProtobufGeom Point

A valid RawFeature of points must contain a single MoveTo command with a count greater than 0.

Methods

fromCommands :: [Command] -> Either Text (GeomVec Point)

toCommands :: GeomVec Point -> [Command]

Decoded Middle-Types

data Tile

Constructors

Tile !(Seq Layer) !ExtField

Instances

Eq Tile

Methods

(==) :: Tile -> Tile -> Bool

(/=) :: Tile -> Tile -> Bool

Data Tile

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tile -> c Tile

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tile

toConstr :: Tile -> Constr

dataTypeOf :: Tile -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Tile)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tile)

gmapT :: (forall b. Data b => b -> b) -> Tile -> Tile

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tile -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tile -> r

gmapQ :: (forall d. Data d => d -> u) -> Tile -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Tile -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tile -> m Tile

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tile -> m Tile

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tile -> m Tile

Ord Tile

Methods

compare :: Tile -> Tile -> Ordering

(<) :: Tile -> Tile -> Bool

(<=) :: Tile -> Tile -> Bool

(>) :: Tile -> Tile -> Bool

(>=) :: Tile -> Tile -> Bool

max :: Tile -> Tile -> Tile

min :: Tile -> Tile -> Tile

Show Tile

Methods

showsPrec :: Int -> Tile -> ShowS

show :: Tile -> String

showList :: [Tile] -> ShowS

Generic Tile

Associated Types

type Rep Tile :: * -> *

Methods

from :: Tile -> Rep Tile x

to :: Rep Tile x -> Tile

ExtendMessage Tile

Methods

getExtField :: Tile -> ExtField

putExtField :: ExtField -> Tile -> Tile

validExtRanges :: Tile -> [(FieldId, FieldId)]

GPB Tile

Wire Tile

Methods

wireSize :: FieldType -> Tile -> WireSize

wirePut :: FieldType -> Tile -> Put

wireGet :: FieldType -> Get Tile

wireGetPacked :: FieldType -> Get (Seq Tile)

TextMsg Tile

Methods

textPut :: Tile -> Output

textGet :: Stream s Identity Char => Parsec s () Tile

TextType Tile

Methods

tellT :: String -> Tile -> Output

getT :: Stream s Identity Char => String -> Parsec s () Tile

ReflectDescriptor Tile

Methods

getMessageInfo :: Tile -> GetMessageInfo

reflectDescriptorInfo :: Tile -> DescriptorInfo

Mergeable Tile

Methods

mergeAppend :: Tile -> Tile -> Tile

mergeConcat :: Foldable t => t Tile -> Tile

Default Tile

Methods

defaultValue :: Tile

MessageAPI msg' (msg' -> Tile) Tile

Methods

getVal :: msg' -> (msg' -> Tile) -> Tile

isSet :: msg' -> (msg' -> Tile) -> Bool

type Rep Tile

type Rep Tile = D1 * (MetaData "Tile" "Geography.VectorTile.Protobuf.Internal.Vector_tile.Tile" "vectortiles-1.4.0-iZtYyRUeWHFkccoCuStVj" False) (C1 * (MetaCons "Tile" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "layers") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Layer))) (S1 * (MetaSel (Just Symbol "ext'field") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ExtField))))

data Layer

Constructors

Layer !Word32 !Utf8 !(Seq Feature) !(Seq Utf8) !(Seq Value) !(Maybe Word32) !ExtField

Instances

Eq Layer

Methods

(==) :: Layer -> Layer -> Bool

(/=) :: Layer -> Layer -> Bool

Data Layer

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Layer -> c Layer

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Layer

toConstr :: Layer -> Constr

dataTypeOf :: Layer -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Layer)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Layer)

gmapT :: (forall b. Data b => b -> b) -> Layer -> Layer

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Layer -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Layer -> r

gmapQ :: (forall d. Data d => d -> u) -> Layer -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Layer -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Layer -> m Layer

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Layer -> m Layer

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Layer -> m Layer

Ord Layer

Methods

compare :: Layer -> Layer -> Ordering

(<) :: Layer -> Layer -> Bool

(<=) :: Layer -> Layer -> Bool

(>) :: Layer -> Layer -> Bool

(>=) :: Layer -> Layer -> Bool

max :: Layer -> Layer -> Layer

min :: Layer -> Layer -> Layer

Show Layer

Methods

showsPrec :: Int -> Layer -> ShowS

show :: Layer -> String

showList :: [Layer] -> ShowS

Generic Layer

Associated Types

type Rep Layer :: * -> *

Methods

from :: Layer -> Rep Layer x

to :: Rep Layer x -> Layer

ExtendMessage Layer

Methods

getExtField :: Layer -> ExtField

putExtField :: ExtField -> Layer -> Layer

validExtRanges :: Layer -> [(FieldId, FieldId)]

GPB Layer

Wire Layer

Methods

wireSize :: FieldType -> Layer -> WireSize

wirePut :: FieldType -> Layer -> Put

wireGet :: FieldType -> Get Layer

wireGetPacked :: FieldType -> Get (Seq Layer)

TextMsg Layer

Methods

textPut :: Layer -> Output

textGet :: Stream s Identity Char => Parsec s () Layer

TextType Layer

Methods

tellT :: String -> Layer -> Output

getT :: Stream s Identity Char => String -> Parsec s () Layer

ReflectDescriptor Layer

Methods

getMessageInfo :: Layer -> GetMessageInfo

reflectDescriptorInfo :: Layer -> DescriptorInfo

Mergeable Layer

Methods

mergeAppend :: Layer -> Layer -> Layer

mergeConcat :: Foldable t => t Layer -> Layer

Default Layer

Methods

defaultValue :: Layer

MessageAPI msg' (msg' -> Layer) Layer

Methods

getVal :: msg' -> (msg' -> Layer) -> Layer

isSet :: msg' -> (msg' -> Layer) -> Bool

type Rep Layer

type Rep Layer = D1 * (MetaData "Layer" "Geography.VectorTile.Protobuf.Internal.Vector_tile.Tile.Layer" "vectortiles-1.4.0-iZtYyRUeWHFkccoCuStVj" False) (C1 * (MetaCons "Layer" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "version") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Word32)) ((:*:) * (S1 * (MetaSel (Just Symbol "name") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Utf8)) (S1 * (MetaSel (Just Symbol "features") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Feature))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "keys") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Utf8))) (S1 * (MetaSel (Just Symbol "values") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Value)))) ((:*:) * (S1 * (MetaSel (Just Symbol "extent") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Word32))) (S1 * (MetaSel (Just Symbol "ext'field") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ExtField))))))

data Feature

Constructors

Feature

Fields

• id :: !(Maybe Word64)
• tags :: !(Seq Word32)
• type' :: !(Maybe GeomType)
• geometry :: !(Seq Word32)

Instances

Eq Feature

Methods

(==) :: Feature -> Feature -> Bool

(/=) :: Feature -> Feature -> Bool

Data Feature

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Feature -> c Feature

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Feature

toConstr :: Feature -> Constr

dataTypeOf :: Feature -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Feature)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Feature)

gmapT :: (forall b. Data b => b -> b) -> Feature -> Feature

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Feature -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Feature -> r

gmapQ :: (forall d. Data d => d -> u) -> Feature -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Feature -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Feature -> m Feature

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Feature -> m Feature

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Feature -> m Feature

Ord Feature

Methods

compare :: Feature -> Feature -> Ordering

(<) :: Feature -> Feature -> Bool

(<=) :: Feature -> Feature -> Bool

(>) :: Feature -> Feature -> Bool

(>=) :: Feature -> Feature -> Bool

max :: Feature -> Feature -> Feature

min :: Feature -> Feature -> Feature

Show Feature

Methods

showsPrec :: Int -> Feature -> ShowS

show :: Feature -> String

showList :: [Feature] -> ShowS

Generic Feature

Associated Types

type Rep Feature :: * -> *

Methods

from :: Feature -> Rep Feature x

to :: Rep Feature x -> Feature

GPB Feature

Wire Feature

Methods

wireSize :: FieldType -> Feature -> WireSize

wirePut :: FieldType -> Feature -> Put

wireGet :: FieldType -> Get Feature

wireGetPacked :: FieldType -> Get (Seq Feature)

TextMsg Feature

Methods

textPut :: Feature -> Output

textGet :: Stream s Identity Char => Parsec s () Feature

TextType Feature

Methods

tellT :: String -> Feature -> Output

getT :: Stream s Identity Char => String -> Parsec s () Feature

ReflectDescriptor Feature

Methods

getMessageInfo :: Feature -> GetMessageInfo

reflectDescriptorInfo :: Feature -> DescriptorInfo

Mergeable Feature

Methods

mergeAppend :: Feature -> Feature -> Feature

mergeConcat :: Foldable t => t Feature -> Feature

Default Feature

Methods

defaultValue :: Feature

MessageAPI msg' (msg' -> Feature) Feature

Methods

getVal :: msg' -> (msg' -> Feature) -> Feature

isSet :: msg' -> (msg' -> Feature) -> Bool

type Rep Feature

type Rep Feature = D1 * (MetaData "Feature" "Geography.VectorTile.Protobuf.Internal.Vector_tile.Tile.Feature" "vectortiles-1.4.0-iZtYyRUeWHFkccoCuStVj" False) (C1 * (MetaCons "Feature" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "id") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Word64))) (S1 * (MetaSel (Just Symbol "tags") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Word32)))) ((:*:) * (S1 * (MetaSel (Just Symbol "type'") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe GeomType))) (S1 * (MetaSel (Just Symbol "geometry") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Seq Word32))))))

data Value

Constructors

Value

Fields

• string_value :: !(Maybe Utf8)
• float_value :: !(Maybe Float)
• double_value :: !(Maybe Double)
• int_value :: !(Maybe Int64)
• uint_value :: !(Maybe Word64)
• sint_value :: !(Maybe Int64)
• bool_value :: !(Maybe Bool)
• ext'field :: !ExtField

Instances

Eq Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Data Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value

toConstr :: Value -> Constr

dataTypeOf :: Value -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Value)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value)

gmapT :: (forall b. Data b => b -> b) -> Value -> Value

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value

Ord Value

Methods

compare :: Value -> Value -> Ordering

(<) :: Value -> Value -> Bool

(<=) :: Value -> Value -> Bool

(>) :: Value -> Value -> Bool

(>=) :: Value -> Value -> Bool

max :: Value -> Value -> Value

min :: Value -> Value -> Value

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Generic Value

Associated Types

type Rep Value :: * -> *

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

ExtendMessage Value

Methods

getExtField :: Value -> ExtField

putExtField :: ExtField -> Value -> Value

validExtRanges :: Value -> [(FieldId, FieldId)]

GPB Value

Wire Value

Methods

wireSize :: FieldType -> Value -> WireSize

wirePut :: FieldType -> Value -> Put

wireGet :: FieldType -> Get Value

wireGetPacked :: FieldType -> Get (Seq Value)

TextMsg Value

Methods

textPut :: Value -> Output

textGet :: Stream s Identity Char => Parsec s () Value

TextType Value

Methods

tellT :: String -> Value -> Output

getT :: Stream s Identity Char => String -> Parsec s () Value

ReflectDescriptor Value

Methods

getMessageInfo :: Value -> GetMessageInfo

reflectDescriptorInfo :: Value -> DescriptorInfo

Mergeable Value

Methods

mergeAppend :: Value -> Value -> Value

mergeConcat :: Foldable t => t Value -> Value

Default Value

Methods

defaultValue :: Value

MessageAPI msg' (msg' -> Value) Value

Methods

getVal :: msg' -> (msg' -> Value) -> Value

isSet :: msg' -> (msg' -> Value) -> Bool

type Rep Value

type Rep Value = D1 * (MetaData "Value" "Geography.VectorTile.Protobuf.Internal.Vector_tile.Tile.Value" "vectortiles-1.4.0-iZtYyRUeWHFkccoCuStVj" False) (C1 * (MetaCons "Value" PrefixI True) ((:*:) * ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "string_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Utf8))) (S1 * (MetaSel (Just Symbol "float_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Float)))) ((:*:) * (S1 * (MetaSel (Just Symbol "double_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Double))) (S1 * (MetaSel (Just Symbol "int_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Int64))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "uint_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Word64))) (S1 * (MetaSel (Just Symbol "sint_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Int64)))) ((:*:) * (S1 * (MetaSel (Just Symbol "bool_value") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Bool))) (S1 * (MetaSel (Just Symbol "ext'field") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * ExtField))))))

data GeomType

Constructors

UNKNOWN

POINT

LINESTRING

POLYGON

Instances

Bounded GeomType

Methods

minBound :: GeomType

maxBound :: GeomType

Enum GeomType

Methods

succ :: GeomType -> GeomType

pred :: GeomType -> GeomType

toEnum :: Int -> GeomType

fromEnum :: GeomType -> Int

enumFrom :: GeomType -> [GeomType]

enumFromThen :: GeomType -> GeomType -> [GeomType]

enumFromTo :: GeomType -> GeomType -> [GeomType]

enumFromThenTo :: GeomType -> GeomType -> GeomType -> [GeomType]

Eq GeomType

Methods

(==) :: GeomType -> GeomType -> Bool

(/=) :: GeomType -> GeomType -> Bool

Data GeomType

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GeomType -> c GeomType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GeomType

toConstr :: GeomType -> Constr

dataTypeOf :: GeomType -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c GeomType)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GeomType)

gmapT :: (forall b. Data b => b -> b) -> GeomType -> GeomType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GeomType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GeomType -> r

gmapQ :: (forall d. Data d => d -> u) -> GeomType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GeomType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GeomType -> m GeomType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GeomType -> m GeomType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GeomType -> m GeomType

Ord GeomType

Methods

compare :: GeomType -> GeomType -> Ordering

(<) :: GeomType -> GeomType -> Bool

(<=) :: GeomType -> GeomType -> Bool

(>) :: GeomType -> GeomType -> Bool

(>=) :: GeomType -> GeomType -> Bool

max :: GeomType -> GeomType -> GeomType

min :: GeomType -> GeomType -> GeomType

Read GeomType

Methods

readsPrec :: Int -> ReadS GeomType

readList :: ReadS [GeomType]

readPrec :: ReadPrec GeomType

readListPrec :: ReadPrec [GeomType]

Show GeomType

Methods

showsPrec :: Int -> GeomType -> ShowS

show :: GeomType -> String

showList :: [GeomType] -> ShowS

Generic GeomType

Associated Types

type Rep GeomType :: * -> *

Methods

from :: GeomType -> Rep GeomType x

to :: Rep GeomType x -> GeomType

GPB GeomType

Wire GeomType

Methods

wireSize :: FieldType -> GeomType -> WireSize

wirePut :: FieldType -> GeomType -> Put

wireGet :: FieldType -> Get GeomType

wireGetPacked :: FieldType -> Get (Seq GeomType)

TextType GeomType

Methods

tellT :: String -> GeomType -> Output

getT :: Stream s Identity Char => String -> Parsec s () GeomType

ReflectEnum GeomType

Methods

reflectEnum :: EnumInfoApp GeomType

reflectEnumInfo :: GeomType -> EnumInfo

parentOfEnum :: GeomType -> Maybe DescriptorInfo

Mergeable GeomType

Methods

mergeAppend :: GeomType -> GeomType -> GeomType

mergeConcat :: Foldable t => t GeomType -> GeomType

Default GeomType

Methods

defaultValue :: GeomType

MessageAPI msg' (msg' -> GeomType) GeomType

Methods

getVal :: msg' -> (msg' -> GeomType) -> GeomType

isSet :: msg' -> (msg' -> GeomType) -> Bool

type Rep GeomType

type Rep GeomType = D1 * (MetaData "GeomType" "Geography.VectorTile.Protobuf.Internal.Vector_tile.Tile.GeomType" "vectortiles-1.4.0-iZtYyRUeWHFkccoCuStVj" False) ((:+:) * ((:+:) * (C1 * (MetaCons "UNKNOWN" PrefixI False) (U1 *)) (C1 * (MetaCons "POINT" PrefixI False) (U1 *))) ((:+:) * (C1 * (MetaCons "LINESTRING" PrefixI False) (U1 *)) (C1 * (MetaCons "POLYGON" PrefixI False) (U1 *))))

Commands

data Command

The possible commands, and the values they hold.

Constructors

MoveTo (Vector Point)

LineTo (Vector Point)

ClosePath

Instances

Eq Command

Methods

(==) :: Command -> Command -> Bool

(/=) :: Command -> Command -> Bool

Show Command

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

commands :: [Word32] -> [Command]

Attempt to parse a list of Command/Parameter integers, as defined here:

https://github.com/mapbox/vector-tile-spec/tree/master/2.1#43-geometry-encoding

uncommands :: [Command] -> Seq Word32

Convert a list of parsed Commands back into their original Command and Z-encoded Parameter integer forms.

Z-Encoding

zig :: Int -> Word32

Z-encode a 64-bit Int.

unzig :: Word32 -> Int

Decode a Z-encoded Word32 into a 64-bit Int.

Protobuf Conversions

Due to Protobuf Layers and Features having their data coupled, we can't define a Protobuffable instance for Features, and instead must use the two functions below.

feats :: Seq ByteString -> Seq Value -> Seq Feature -> Either Text Feats

Convert a list of RawFeatures of parsed protobuf data into Vectors of each of the three legal ProtobufGeom types.

The long type signature is due to two things:

1. Features are polymorphic at the high level, but not at the parsed protobuf mid-level. In a [RawFeature], there are features of points, linestrings, and polygons all mixed together.
2. RawLayers and RawFeatures are strongly coupled at the protobuf level. In order to achieve higher compression ratios, RawLayers contain all metadata in key/value lists to be shared across their RawFeatures, while those RawFeatures store only indices into those lists. As a result, this function needs to be passed those key/value lists from the parent RawLayer, and a more isomorphic:

feature :: ProtobufGeom g => RawFeature -> Either Text (Feature g)

is not possible.

unfeats :: ProtobufGeom g => HashMap ByteString Int -> HashMap Val Int -> GeomType -> Feature (GeomVec g) -> Feature

Encode a high-level Feature back into its mid-level RawFeature form.