Copyright	(C) 2014-2018 HS-GeoJSON Project
License	BSD-style (see the file LICENSE.md)
Maintainer	Andrew Newman
Safe Haskell	None
Language	Haskell2010

Data.Geospatial.Internal.BasicTypes

Contents

Coordinate types
CRS Reference types
Feature Types

Description

Basic types for GeoJSON representations.

Synopsis

Coordinate types

type Latitude = Double Source #

type Longitude = Double Source #

type Easting = Double Source #

type Northing = Double Source #

type Altitude = Double Source #

data GeoPositionWithoutCRS Source #

Constructors

GeoEmpty
GeoPointXY PointXY
GeoPointXYZ PointXYZ
GeoPointXYZM PointXYZM

Instances

Eq GeoPositionWithoutCRS Source #
Methods (==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool # (/=) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool #
Show GeoPositionWithoutCRS Source #
Methods showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS # show :: GeoPositionWithoutCRS -> String # showList :: [GeoPositionWithoutCRS] -> ShowS #
Generic GeoPositionWithoutCRS Source #
Associated Types type Rep GeoPositionWithoutCRS :: * -> * # Methods from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x # to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS #
ToJSON GeoPositionWithoutCRS Source #
Methods toJSON :: GeoPositionWithoutCRS -> Value # toEncoding :: GeoPositionWithoutCRS -> Encoding # toJSONList :: [GeoPositionWithoutCRS] -> Value # toEncodingList :: [GeoPositionWithoutCRS] -> Encoding #
FromJSON GeoPositionWithoutCRS Source #
Methods parseJSON :: Value -> Parser GeoPositionWithoutCRS # parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #
Storable GeoPositionWithoutCRS Source #
Methods sizeOf :: GeoPositionWithoutCRS -> Int # alignment :: GeoPositionWithoutCRS -> Int # peekElemOff :: Ptr GeoPositionWithoutCRS -> Int -> IO GeoPositionWithoutCRS # pokeElemOff :: Ptr GeoPositionWithoutCRS -> Int -> GeoPositionWithoutCRS -> IO () # peekByteOff :: Ptr b -> Int -> IO GeoPositionWithoutCRS # pokeByteOff :: Ptr b -> Int -> GeoPositionWithoutCRS -> IO () # peek :: Ptr GeoPositionWithoutCRS -> IO GeoPositionWithoutCRS # poke :: Ptr GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> IO () #
NFData GeoPositionWithoutCRS Source #
Methods rnf :: GeoPositionWithoutCRS -> () #
HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS Source #
type Rep GeoPositionWithoutCRS Source #
type Rep GeoPositionWithoutCRS = D1 * (MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "GeoEmpty" PrefixI False) (U1 )) (C1 (MetaCons "GeoPointXY" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXY)))) ((:+:) * (C1 * (MetaCons "GeoPointXYZ" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXYZ))) (C1 * (MetaCons "GeoPointXYZM" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXYZM)))))

retrieveXY :: GeoPositionWithoutCRS -> PointXY Source #

data PointXY Source #

(GeoPositionWithoutCRS is a catch all for indeterminate CRSs and for expression of positions before a CRS has been determined

Constructors

PointXY
Fields _xyX :: !Double _xyY :: !Double

Instances

Eq PointXY Source #
Methods (==) :: PointXY -> PointXY -> Bool # (/=) :: PointXY -> PointXY -> Bool #
Show PointXY Source #
Methods showsPrec :: Int -> PointXY -> ShowS # show :: PointXY -> String # showList :: [PointXY] -> ShowS #
Generic PointXY Source #
Associated Types type Rep PointXY :: * -> * # Methods from :: PointXY -> Rep PointXY x # to :: Rep PointXY x -> PointXY #
Storable PointXY Source #
Methods sizeOf :: PointXY -> Int # alignment :: PointXY -> Int # peekElemOff :: Ptr PointXY -> Int -> IO PointXY # pokeElemOff :: Ptr PointXY -> Int -> PointXY -> IO () # peekByteOff :: Ptr b -> Int -> IO PointXY # pokeByteOff :: Ptr b -> Int -> PointXY -> IO () # peek :: Ptr PointXY -> IO PointXY # poke :: Ptr PointXY -> PointXY -> IO () #
NFData PointXY Source #
Methods rnf :: PointXY -> () #
type Rep PointXY Source #
type Rep PointXY = D1 * (MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXY" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_xyX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))))

data PointXYZ Source #

Constructors

PointXYZ
Fields _xyzX :: !Double _xyzY :: !Double _xyzZ :: !Double

Instances

Eq PointXYZ Source #
Methods (==) :: PointXYZ -> PointXYZ -> Bool # (/=) :: PointXYZ -> PointXYZ -> Bool #
Show PointXYZ Source #
Methods showsPrec :: Int -> PointXYZ -> ShowS # show :: PointXYZ -> String # showList :: [PointXYZ] -> ShowS #
Generic PointXYZ Source #
Associated Types type Rep PointXYZ :: * -> * # Methods from :: PointXYZ -> Rep PointXYZ x # to :: Rep PointXYZ x -> PointXYZ #
NFData PointXYZ Source #
Methods rnf :: PointXYZ -> () #
type Rep PointXYZ Source #
type Rep PointXYZ = D1 * (MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXYZ" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_xyzX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) ((::) (S1 * (MetaSel (Just Symbol "_xyzY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))))

data PointXYZM Source #

Constructors

PointXYZM
Fields _xyzmX :: !Double _xyzmY :: !Double _xyzmZ :: !Double _xyzmM :: !Double

Instances

Eq PointXYZM Source #
Methods (==) :: PointXYZM -> PointXYZM -> Bool # (/=) :: PointXYZM -> PointXYZM -> Bool #
Show PointXYZM Source #
Methods showsPrec :: Int -> PointXYZM -> ShowS # show :: PointXYZM -> String # showList :: [PointXYZM] -> ShowS #
Generic PointXYZM Source #
Associated Types type Rep PointXYZM :: * -> * # Methods from :: PointXYZM -> Rep PointXYZM x # to :: Rep PointXYZM x -> PointXYZM #
NFData PointXYZM Source #
Methods rnf :: PointXYZM -> () #
type Rep PointXYZM Source #
type Rep PointXYZM = D1 * (MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXYZM" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "_xyzmX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzmY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))) ((::) (S1 * (MetaSel (Just Symbol "_xyzmZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzmM") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))))

newtype DoubleArray Source #

Constructors

DoubleArray [Double]

Instances

Eq DoubleArray Source #
Methods (==) :: DoubleArray -> DoubleArray -> Bool # (/=) :: DoubleArray -> DoubleArray -> Bool #
Show DoubleArray Source #
Methods showsPrec :: Int -> DoubleArray -> ShowS # show :: DoubleArray -> String # showList :: [DoubleArray] -> ShowS #
Generic DoubleArray Source #
Associated Types type Rep DoubleArray :: * -> * # Methods from :: DoubleArray -> Rep DoubleArray x # to :: Rep DoubleArray x -> DoubleArray #
ToJSON DoubleArray Source #
Methods toJSON :: DoubleArray -> Value # toEncoding :: DoubleArray -> Encoding # toJSONList :: [DoubleArray] -> Value # toEncodingList :: [DoubleArray] -> Encoding #
FromJSON DoubleArray Source #
Methods parseJSON :: Value -> Parser DoubleArray # parseJSONList :: Value -> Parser [DoubleArray] #
NFData DoubleArray Source #
Methods rnf :: DoubleArray -> () #
type Rep DoubleArray Source #
type Rep DoubleArray = D1 * (MetaData "DoubleArray" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "DoubleArray" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Double])))

class HasGeoPositionWithoutCRS c where Source #

Minimal complete definition

geoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS Source #

Instances

HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS Source #

CRS Reference types

type Name = Text Source #

type Code = Int Source #

type Href = Text Source #

type FormatString = Text Source #

type ProjectionType = Text Source #

Feature Types

newtype BoundingBoxWithoutCRS Source #

See Section 4 Bounding Boxes of the GeoJSON spec, The length of the list/array must be 2*n where n is the dimensionality of the position type for the CRS with min values first followed by the max values, wich both the min/max sets following the same axis order as the CRS, e.g for WGS84: minLongitude, minLatitude, maxLongitude, maxLatitude The spec mentions that it can be part of a geometry object too but doesnt give an example, This implementation will ignore bboxes on Geometry objects, they can be added if required.

Constructors

BoundingBoxWithoutCRS
Fields unBoundingBoxWithoutCrs :: Vector Double

Instances

Eq BoundingBoxWithoutCRS Source #
Methods (==) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool # (/=) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool #
Show BoundingBoxWithoutCRS Source #
Methods showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS # show :: BoundingBoxWithoutCRS -> String # showList :: [BoundingBoxWithoutCRS] -> ShowS #
Generic BoundingBoxWithoutCRS Source #
Associated Types type Rep BoundingBoxWithoutCRS :: * -> * # Methods from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x # to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS #
ToJSON BoundingBoxWithoutCRS Source #
Methods toJSON :: BoundingBoxWithoutCRS -> Value # toEncoding :: BoundingBoxWithoutCRS -> Encoding # toJSONList :: [BoundingBoxWithoutCRS] -> Value # toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding #
FromJSON BoundingBoxWithoutCRS Source #
Methods parseJSON :: Value -> Parser BoundingBoxWithoutCRS # parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS] #
NFData BoundingBoxWithoutCRS Source #
Methods rnf :: BoundingBoxWithoutCRS -> () #
type Rep BoundingBoxWithoutCRS Source #
type Rep BoundingBoxWithoutCRS = D1 * (MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "BoundingBoxWithoutCRS" PrefixI True) (S1 * (MetaSel (Just Symbol "unBoundingBoxWithoutCrs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector Double))))

data FeatureID Source #

Constructors

FeatureIDText Text
FeatureIDNumber Int

Instances

Eq FeatureID Source #
Methods (==) :: FeatureID -> FeatureID -> Bool # (/=) :: FeatureID -> FeatureID -> Bool #
Show FeatureID Source #
Methods showsPrec :: Int -> FeatureID -> ShowS # show :: FeatureID -> String # showList :: [FeatureID] -> ShowS #
Generic FeatureID Source #
Associated Types type Rep FeatureID :: * -> * # Methods from :: FeatureID -> Rep FeatureID x # to :: Rep FeatureID x -> FeatureID #
ToJSON FeatureID Source #
Methods toJSON :: FeatureID -> Value # toEncoding :: FeatureID -> Encoding # toJSONList :: [FeatureID] -> Value # toEncodingList :: [FeatureID] -> Encoding #
FromJSON FeatureID Source #
Methods parseJSON :: Value -> Parser FeatureID # parseJSONList :: Value -> Parser [FeatureID] #
NFData FeatureID Source #
Methods rnf :: FeatureID -> () #
type Rep FeatureID Source #
type Rep FeatureID = D1 * (MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) ((:+:) * (C1 * (MetaCons "FeatureIDText" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) (C1 * (MetaCons "FeatureIDNumber" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))))