geojson-4.1.3: A thin GeoJSON Layer above the aeson library
Copyright(C) 2014-2021 HS-GeoJSON Project
LicenseBSD-style (see the file LICENSE.md)
MaintainerAndrew Newman
Safe HaskellNone
LanguageHaskell2010

Data.Geospatial.Internal.BasicTypes

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

Instances details
FromJSON GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser GeoPositionWithoutCRS #

parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #

omittedField :: Maybe 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 #

omitField :: GeoPositionWithoutCRS -> Bool #

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 #

Generic GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep GeoPositionWithoutCRS 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x #

to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS #

Show GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS #

show :: GeoPositionWithoutCRS -> String #

showList :: [GeoPositionWithoutCRS] -> ShowS #

Eq GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXY -> () #

Generic PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXY 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXY = D1 ('MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) (C1 ('MetaCons "PointXY" 'PrefixI 'True) (S1 ('MetaSel ('Just "_xyX") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "_xyY") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))

Methods

from :: PointXY -> Rep PointXY x #

to :: Rep PointXY x -> PointXY #

Show PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXY -> ShowS #

show :: PointXY -> String #

showList :: [PointXY] -> ShowS #

Eq PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXY = D1 ('MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZ -> () #

Generic PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZ 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: PointXYZ -> Rep PointXYZ x #

to :: Rep PointXYZ x -> PointXYZ #

Show PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZ -> ShowS #

show :: PointXYZ -> String #

showList :: [PointXYZ] -> ShowS #

Eq PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZM -> () #

Generic PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZM 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: PointXYZM -> Rep PointXYZM x #

to :: Rep PointXYZM x -> PointXYZM #

Show PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZM -> ShowS #

show :: PointXYZM -> String #

showList :: [PointXYZM] -> ShowS #

Eq PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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
FromJSON DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser DoubleArray #

parseJSONList :: Value -> Parser [DoubleArray] #

omittedField :: Maybe 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 #

omitField :: DoubleArray -> Bool #

NFData DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: DoubleArray -> () #

Generic DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep DoubleArray 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep DoubleArray = D1 ('MetaData "DoubleArray" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'True) (C1 ('MetaCons "DoubleArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Double])))

Methods

from :: DoubleArray -> Rep DoubleArray x #

to :: Rep DoubleArray x -> DoubleArray #

Show DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> DoubleArray -> ShowS #

show :: DoubleArray -> String #

showList :: [DoubleArray] -> ShowS #

Eq DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep DoubleArray Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep DoubleArray = D1 ('MetaData "DoubleArray" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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
FromJSON BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser BoundingBoxWithoutCRS #

parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS] #

omittedField :: Maybe 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 #

omitField :: BoundingBoxWithoutCRS -> Bool #

NFData BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: BoundingBoxWithoutCRS -> () #

Generic BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep BoundingBoxWithoutCRS 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x #

to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS #

Show BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS #

show :: BoundingBoxWithoutCRS -> String #

showList :: [BoundingBoxWithoutCRS] -> ShowS #

Eq BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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
FromJSON FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser FeatureID #

parseJSONList :: Value -> Parser [FeatureID] #

omittedField :: Maybe 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 #

omitField :: FeatureID -> Bool #

NFData FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: FeatureID -> () #

Generic FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep FeatureID 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

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

Methods

from :: FeatureID -> Rep FeatureID x #

to :: Rep FeatureID x -> FeatureID #

Show FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> FeatureID -> ShowS #

show :: FeatureID -> String #

showList :: [FeatureID] -> ShowS #

Eq FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

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