Copyright	(C) 2014-2019 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
data BoundingBoxWithoutCRS
data FeatureID
- = FeatureIDText Text
- | FeatureIDNumber Int

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

Instances details

Eq GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool # (/=) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool #
Show GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS # show :: GeoPositionWithoutCRS -> String # showList :: [GeoPositionWithoutCRS] -> ShowS #
Generic GeoPositionWithoutCRS Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: GeoPositionWithoutCRS -> Value # toEncoding :: GeoPositionWithoutCRS -> Encoding # toJSONList :: [GeoPositionWithoutCRS] -> Value # toEncodingList :: [GeoPositionWithoutCRS] -> Encoding #
FromJSON GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser GeoPositionWithoutCRS # parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #
NFData GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: GeoPositionWithoutCRS -> () #
HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS Source #
type Rep GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" '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 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

Instances details

Eq PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXY -> PointXY -> Bool # (/=) :: PointXY -> PointXY -> Bool #
Show PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXY -> ShowS # show :: PointXY -> String # showList :: [PointXY] -> ShowS #
Generic PointXY Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXY -> () #
type Rep PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXY = D1 ('MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" '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 Source #

Constructors

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

Instances

Instances details

Eq PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXYZ -> PointXYZ -> Bool # (/=) :: PointXYZ -> PointXYZ -> Bool #
Show PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXYZ -> ShowS # show :: PointXYZ -> String # showList :: [PointXYZ] -> ShowS #
Generic PointXYZ Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXYZ -> () #
type Rep PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" '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 Source #

Constructors

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

Instances

Instances details

Eq PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXYZM -> PointXYZM -> Bool # (/=) :: PointXYZM -> PointXYZM -> Bool #
Show PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXYZM -> ShowS # show :: PointXYZM -> String # showList :: [PointXYZM] -> ShowS #
Generic PointXYZM Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXYZM -> () #
type Rep PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" '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 Source #

Constructors

DoubleArray [Double]

Instances

Instances details

Eq DoubleArray Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: DoubleArray -> DoubleArray -> Bool # (/=) :: DoubleArray -> DoubleArray -> Bool #
Show DoubleArray Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> DoubleArray -> ShowS # show :: DoubleArray -> String # showList :: [DoubleArray] -> ShowS #
Generic DoubleArray Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: DoubleArray -> Value # toEncoding :: DoubleArray -> Encoding # toJSONList :: [DoubleArray] -> Value # toEncodingList :: [DoubleArray] -> Encoding #
FromJSON DoubleArray Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser DoubleArray # parseJSONList :: Value -> Parser [DoubleArray] #
NFData DoubleArray Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: DoubleArray -> () #
type Rep DoubleArray Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep DoubleArray = D1 ('MetaData "DoubleArray" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" 'True) (C1 ('MetaCons "DoubleArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Double])))

class HasGeoPositionWithoutCRS c where Source #

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS Source #

Instances

Instances details

HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes 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

data 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

BoundingBoxWithoutCRSXY PointXY PointXY
BoundingBoxWithoutCRSXYZ PointXYZ PointXYZ
BoundingBoxWithoutCRSXYZM PointXYZM PointXYZM

Instances

Instances details

Eq BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool # (/=) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool #
Show BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS # show :: BoundingBoxWithoutCRS -> String # showList :: [BoundingBoxWithoutCRS] -> ShowS #
Generic BoundingBoxWithoutCRS Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: BoundingBoxWithoutCRS -> Value # toEncoding :: BoundingBoxWithoutCRS -> Encoding # toJSONList :: [BoundingBoxWithoutCRS] -> Value # toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding #
FromJSON BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser BoundingBoxWithoutCRS # parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS] #
NFData BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: BoundingBoxWithoutCRS -> () #
type Rep BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" 'False) (C1 ('MetaCons "BoundingBoxWithoutCRSXY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXY) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXY)) :+: (C1 ('MetaCons "BoundingBoxWithoutCRSXYZ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXYZ) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXYZ)) :+: C1 ('MetaCons "BoundingBoxWithoutCRSXYZM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXYZM) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PointXYZM))))

data FeatureID Source #

Constructors

FeatureIDText Text
FeatureIDNumber Int

Instances

Instances details

Eq FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: FeatureID -> FeatureID -> Bool # (/=) :: FeatureID -> FeatureID -> Bool #
Show FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> FeatureID -> ShowS # show :: FeatureID -> String # showList :: [FeatureID] -> ShowS #
Generic FeatureID Source #
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 Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: FeatureID -> Value # toEncoding :: FeatureID -> Encoding # toJSONList :: [FeatureID] -> Value # toEncodingList :: [FeatureID] -> Encoding #
FromJSON FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser FeatureID # parseJSONList :: Value -> Parser [FeatureID] #
NFData FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: FeatureID -> () #
type Rep FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep FeatureID = D1 ('MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.4-EFT8DmZYSQPKnKmPqW3WsY" '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)))