wkt-0.2: Parsers and types for Well-Known Text data

Safe HaskellNone

Data.Geo.WKT.Types

Synopsis

Documentation

data Parameter Source

From http:www.geoapi.org3.0javadocorgopengisreferencingdoc-files/WKT.html

Constructors

Parameter 

Fields

_paramName :: String
 
_paramValue :: Double
 

Instances

Eq Parameter 
Ord Parameter 
Show Parameter 
Typeable Parameter 
Generic Parameter 

data Authority Source

Constructors

Authority 

Fields

_authorityName :: String
 
_authorityCode :: String
 

Instances

Eq Authority 
Ord Authority 
Show Authority 
Typeable Authority 
Generic Authority 

data Unit Source

Constructors

Unit 

Fields

_unitName :: String
 
_unitConversionFactor :: Double
 
_unitAuthority :: Maybe Authority
 

Instances

Eq Unit 
Ord Unit 
Show Unit 
Typeable Unit 
Generic Unit 

data Spheroid Source

Constructors

Spheroid 

Instances

Eq Spheroid 
Ord Spheroid 
Show Spheroid 
Typeable Spheroid 
Generic Spheroid 

data ToWGS84 Source

Constructors

ToWGS84 

Fields

_towgs84D :: V3 Double
 
_towgs84E :: V3 Double
 
_towgs84PPM :: Double
 

Instances

Eq ToWGS84 
Ord ToWGS84 
Show ToWGS84 
Typeable ToWGS84 
Generic ToWGS84 

data Datum Source

Constructors

Datum 

Instances

Eq Datum 
Ord Datum 
Show Datum 
Typeable Datum 
Generic Datum 

data PrimeMeridian Source

Constructors

PrimeMeridian 

Fields

_primemName :: String
 
_primemLongitude :: Double
 
_primemAuthority :: Maybe Authority
 

Instances

data AxisDirection Source

Constructors

North 
South 
East 
West 
Up 
Down 
Other 

Instances

data Axis Source

Constructors

Axis 

Fields

_axisName :: String
 
_axisDirection :: AxisDirection
 

Instances

Eq Axis 
Ord Axis 
Show Axis 
Typeable Axis 
Generic Axis 

data Projection Source

Constructors

Proj 

Fields

_projName :: String
 
_projAuthority :: Maybe Authority
 

Instances

Eq Projection 
Ord Projection 
Show Projection 
Typeable Projection 
Generic Projection