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

type Latitude = Double
type Longitude = Double
type Easting = Double
type Northing = Double
type Altitude = Double
data GeoPositionWithoutCRS
- = GeoEmpty
- | GeoPointXY PointXY
- | GeoPointXYZ PointXYZ
- | GeoPointXYZM PointXYZM
retrieveXY :: GeoPositionWithoutCRS -> PointXY
data PointXY = PointXY {
- _xyX :: !Double
- _xyY :: !Double
}
data PointXYZ = PointXYZ {
- _xyzX :: !Double
- _xyzY :: !Double
- _xyzZ :: !Double
}
data PointXYZM = PointXYZM {
- _xyzmX :: !Double
- _xyzmY :: !Double
- _xyzmZ :: !Double
- _xyzmM :: !Double
}
newtype DoubleArray = DoubleArray [Double]
class HasGeoPositionWithoutCRS c where
- geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS
type Name = Text
type Code = Int
type Href = Text
type FormatString = Text
type ProjectionType = Text
newtype BoundingBoxWithoutCRS = BoundingBoxWithoutCRS {
- unBoundingBoxWithoutCrs :: Seq Double
}
data FeatureID
- = FeatureIDText Text
- | FeatureIDNumber Int

Coordinate types

type Latitude = Double #

type Longitude = Double #

type Easting = Double #

type Northing = Double #

type Altitude = Double #

data GeoPositionWithoutCRS #

Constructors

GeoEmpty
GeoPointXY PointXY
GeoPointXYZ PointXYZ
GeoPointXYZM PointXYZM

Instances

Eq GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool # (/=) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool #
Show GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS # show :: GeoPositionWithoutCRS -> String # showList :: [GeoPositionWithoutCRS] -> ShowS #
Generic GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep GeoPositionWithoutCRS :: Type -> Type # Methods from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x # to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS #
ToJSON GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: GeoPositionWithoutCRS -> Value # toEncoding :: GeoPositionWithoutCRS -> Encoding # toJSONList :: [GeoPositionWithoutCRS] -> Value # toEncodingList :: [GeoPositionWithoutCRS] -> Encoding #
FromJSON GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser GeoPositionWithoutCRS # parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #
NFData GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: GeoPositionWithoutCRS -> () #
HasGeoPositionWithoutCRS GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS #
type Rep GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep GeoPositionWithoutCRS = D1 (MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.4-BhqiBF2k2VrIOFbYjYUDem" False) ((C1 (MetaCons "GeoEmpty" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GeoPointXY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXY))) :+: (C1 (MetaCons "GeoPointXYZ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZ)) :+: C1 (MetaCons "GeoPointXYZM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZM))))

retrieveXY :: GeoPositionWithoutCRS -> PointXY #

data PointXY #

(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 #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXY -> PointXY -> Bool # (/=) :: PointXY -> PointXY -> Bool #
Show PointXY #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXY -> ShowS # show :: PointXY -> String # showList :: [PointXY] -> ShowS #
Generic PointXY #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep PointXY :: Type -> Type # Methods from :: PointXY -> Rep PointXY x # to :: Rep PointXY x -> PointXY #
NFData PointXY #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXY -> () #
type Rep PointXY #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXY = D1 (MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.4-BhqiBF2k2VrIOFbYjYUDem" False) (C1 (MetaCons "PointXY" PrefixI True) (S1 (MetaSel (Just "_xyX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Just "_xyY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double)))

data PointXYZ #

Constructors

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

Instances

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

data PointXYZM #

Constructors

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

Instances

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

newtype DoubleArray #

Constructors

DoubleArray [Double]

Instances

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

class HasGeoPositionWithoutCRS c where #

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS #

Instances

HasGeoPositionWithoutCRS GeoPositionWithoutCRS #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS #

CRS Reference types

type Name = Text #

type Code = Int #

type Href = Text #

type FormatString = Text #

type ProjectionType = Text #

Feature Types

newtype BoundingBoxWithoutCRS #

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 :: Seq Double

Instances

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

data FeatureID #

Constructors

FeatureIDText Text
FeatureIDNumber Int

Instances

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