Data.Geospatial.Internal.BasicTypes

Basic types for GeoJSON representations.

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool

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

Show GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS

show :: GeoPositionWithoutCRS -> String

showList :: [GeoPositionWithoutCRS] -> ShowS

Generic GeoPositionWithoutCRS

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: GeoPositionWithoutCRS -> Value

toEncoding :: GeoPositionWithoutCRS -> Encoding

toJSONList :: [GeoPositionWithoutCRS] -> Value

toEncodingList :: [GeoPositionWithoutCRS] -> Encoding

FromJSON GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser GeoPositionWithoutCRS

parseJSONList :: Value -> Parser [GeoPositionWithoutCRS]

NFData GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: GeoPositionWithoutCRS -> ()

HasGeoPositionWithoutCRS GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS

type Rep GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: PointXY -> PointXY -> Bool

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

Show PointXY

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXY -> ShowS

show :: PointXY -> String

showList :: [PointXY] -> ShowS

Generic PointXY

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXY -> ()

type Rep PointXY

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXY = D1 ('MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: PointXYZ -> PointXYZ -> Bool

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

Show PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZ -> ShowS

show :: PointXYZ -> String

showList :: [PointXYZ] -> ShowS

Generic PointXYZ

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZ -> ()

type Rep PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: PointXYZM -> PointXYZM -> Bool

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

Show PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZM -> ShowS

show :: PointXYZM -> String

showList :: [PointXYZM] -> ShowS

Generic PointXYZM

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZM -> ()

type Rep PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: DoubleArray -> DoubleArray -> Bool

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

Show DoubleArray

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> DoubleArray -> ShowS

show :: DoubleArray -> String

showList :: [DoubleArray] -> ShowS

Generic DoubleArray

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: DoubleArray -> Value

toEncoding :: DoubleArray -> Encoding

toJSONList :: [DoubleArray] -> Value

toEncodingList :: [DoubleArray] -> Encoding

FromJSON DoubleArray

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser DoubleArray

parseJSONList :: Value -> Parser [DoubleArray]

NFData DoubleArray

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: DoubleArray -> ()

type Rep DoubleArray

Defined in Data.Geospatial.Internal.BasicTypes

type Rep DoubleArray = D1 ('MetaData "DoubleArray" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

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

data 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

BoundingBoxWithoutCRSXY PointXY PointXY

BoundingBoxWithoutCRSXYZ PointXYZ PointXYZ

BoundingBoxWithoutCRSXYZM PointXYZM PointXYZM

Instances

Eq BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool

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

Show BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS

show :: BoundingBoxWithoutCRS -> String

showList :: [BoundingBoxWithoutCRS] -> ShowS

Generic BoundingBoxWithoutCRS

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: BoundingBoxWithoutCRS -> Value

toEncoding :: BoundingBoxWithoutCRS -> Encoding

toJSONList :: [BoundingBoxWithoutCRS] -> Value

toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding

FromJSON BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser BoundingBoxWithoutCRS

parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS]

NFData BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: BoundingBoxWithoutCRS -> ()

type Rep BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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

Constructors

FeatureIDText Text

FeatureIDNumber Int

Instances

Eq FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

(==) :: FeatureID -> FeatureID -> Bool

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

Show FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> FeatureID -> ShowS

show :: FeatureID -> String

showList :: [FeatureID] -> ShowS

Generic FeatureID

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: FeatureID -> Value

toEncoding :: FeatureID -> Encoding

toJSONList :: [FeatureID] -> Value

toEncodingList :: [FeatureID] -> Encoding

FromJSON FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser FeatureID

parseJSONList :: Value -> Parser [FeatureID]

NFData FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: FeatureID -> ()

type Rep FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

type Rep FeatureID = D1 ('MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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)))