Safe Haskell	None
Language	Haskell2010

Data.Geo.WKT.Types

Synopsis

Documentation

data Parameter Source

From http://www.geoapi.org/3.0/javadoc/org/opengis/referencing/doc-files/WKT.html

Constructors

Parameter
Fields _paramName :: String _paramValue :: Double

Instances

Eq Parameter Source
Ord Parameter Source
Show Parameter Source
Generic Parameter Source
type Rep Parameter Source

paramValue :: Lens' Parameter Double Source

paramName :: Lens' Parameter String Source

data Authority Source

Constructors

Authority
Fields _authorityName :: String _authorityCode :: String

Instances

Eq Authority Source
Ord Authority Source
Show Authority Source
Generic Authority Source
type Rep Authority Source

authorityName :: Lens' Authority String Source

authorityCode :: Lens' Authority String Source

data Unit Source

Constructors

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

Instances

Eq Unit Source
Ord Unit Source
Show Unit Source
Generic Unit Source
type Rep Unit Source

unitName :: Lens' Unit String Source

unitConversionFactor :: Lens' Unit Double Source

unitAuthority :: Lens' Unit (Maybe Authority) Source

data Spheroid Source

Constructors

Spheroid
Fields _spheroidName :: String _spheroidSemiMajor :: Double _spheroidInverseFlattening :: Double _spheroidAuthority :: Maybe Authority

Instances

Eq Spheroid Source
Ord Spheroid Source
Show Spheroid Source
Generic Spheroid Source
type Rep Spheroid Source

spheroidSemiMajor :: Lens' Spheroid Double Source

spheroidName :: Lens' Spheroid String Source

spheroidInverseFlattening :: Lens' Spheroid Double Source

spheroidAuthority :: Lens' Spheroid (Maybe Authority) Source

data ToWGS84 Source

Constructors

ToWGS84
Fields _towgs84D :: V3 Double _towgs84E :: V3 Double _towgs84PPM :: Double

Instances

Eq ToWGS84 Source
Ord ToWGS84 Source
Show ToWGS84 Source
Generic ToWGS84 Source
type Rep ToWGS84 Source

towgs84PPM :: Lens' ToWGS84 Double Source

towgs84E :: Lens' ToWGS84 (V3 Double) Source

towgs84D :: Lens' ToWGS84 (V3 Double) Source

data Datum Source

Constructors

Datum
Fields _datumName :: String _datumSpheroid :: Spheroid _datumToWGS84 :: Maybe ToWGS84 _datumAuthority :: Maybe Authority

Instances

Eq Datum Source
Ord Datum Source
Show Datum Source
Generic Datum Source
type Rep Datum Source

datumToWGS84 :: Lens' Datum (Maybe ToWGS84) Source

datumSpheroid :: Lens' Datum Spheroid Source

datumName :: Lens' Datum String Source

datumAuthority :: Lens' Datum (Maybe Authority) Source

data PrimeMeridian Source

Constructors

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

Instances

Eq PrimeMeridian Source
Ord PrimeMeridian Source
Show PrimeMeridian Source
Generic PrimeMeridian Source
type Rep PrimeMeridian Source

primemName :: Lens' PrimeMeridian String Source

primemLongitude :: Lens' PrimeMeridian Double Source

primemAuthority :: Lens' PrimeMeridian (Maybe Authority) Source

data AxisDirection Source

Constructors

North
South
East
West
Up
Down
Other

Instances

Eq AxisDirection Source
Ord AxisDirection Source
Show AxisDirection Source
Generic AxisDirection Source
type Rep AxisDirection Source

data Axis Source

Constructors

Axis
Fields _axisName :: String _axisDirection :: AxisDirection

Instances

Eq Axis Source
Ord Axis Source
Show Axis Source
Generic Axis Source
type Rep Axis Source

axisName :: Lens' Axis String Source

axisDirection :: Lens' Axis AxisDirection Source

data GeographicCS Source

Constructors

GeogCS
Fields _geogcsName :: String _geogcsDatum :: Datum _geogcsPrimeMeridian :: PrimeMeridian _geogcsAngularUnit :: Unit _geogcsTwinAxes :: Maybe (Axis, Axis) _geogcsAuthority :: Maybe Authority

Instances

Eq GeographicCS Source
Ord GeographicCS Source
Show GeographicCS Source
Generic GeographicCS Source
type Rep GeographicCS Source

geogcsTwinAxes :: Lens' GeographicCS (Maybe (Axis, Axis)) Source

geogcsPrimeMeridian :: Lens' GeographicCS PrimeMeridian Source

geogcsName :: Lens' GeographicCS String Source

geogcsDatum :: Lens' GeographicCS Datum Source

geogcsAuthority :: Lens' GeographicCS (Maybe Authority) Source

geogcsAngularUnit :: Lens' GeographicCS Unit Source

data Projection Source

Constructors

Proj
Fields _projName :: String _projAuthority :: Maybe Authority

Instances

Eq Projection Source
Ord Projection Source
Show Projection Source
Generic Projection Source
type Rep Projection Source

projName :: Lens' Projection String Source

projAuthority :: Lens' Projection (Maybe Authority) Source

data ProjectedCS Source

Constructors

ProjCS
Fields _projcsName :: String _projcsGeographicCS :: GeographicCS _projcsProjection :: Projection _projcsParameters :: [Parameter] _projcsLinearUnit :: Unit _projcsTwinAxes :: Maybe (Axis, Axis) _projcsAuthority :: Maybe Authority

Instances

Eq ProjectedCS Source
Ord ProjectedCS Source
Show ProjectedCS Source
Generic ProjectedCS Source
type Rep ProjectedCS Source

projcsTwinAxes :: Lens' ProjectedCS (Maybe (Axis, Axis)) Source

projcsProjection :: Lens' ProjectedCS Projection Source

projcsParameters :: Lens' ProjectedCS [Parameter] Source

projcsName :: Lens' ProjectedCS String Source

projcsLinearUnit :: Lens' ProjectedCS Unit Source

projcsGeographicCS :: Lens' ProjectedCS GeographicCS Source

projcsAuthority :: Lens' ProjectedCS (Maybe Authority) Source