-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Parsec parsers and types for geographic data in well-known text (WKT) format.
--   
--   Parsec parsers and types for geographic metadata in the well-known
--   text (WKT) format
--   <a>https://en.wikipedia.org/wiki/Well-known_text</a>. WKT can be used
--   to specify spatial reference systems and primitive geometry in spatial
--   datasets.
@package wkt
@version 0.3.2

module Data.Geo.WKT.Types

-- | From
--   <a>http://www.geoapi.org/3.0/javadoc/org/opengis/referencing/doc-files/WKT.html</a>
data Parameter
Parameter :: String -> Double -> Parameter
[_paramName] :: Parameter -> String
[_paramValue] :: Parameter -> Double
paramValue :: Lens' Parameter Double
paramName :: Lens' Parameter String
data Authority
Authority :: String -> String -> Authority
[_authorityName] :: Authority -> String
[_authorityCode] :: Authority -> String
authorityName :: Lens' Authority String
authorityCode :: Lens' Authority String
data Unit
Unit :: String -> Double -> Maybe Authority -> Unit
[_unitName] :: Unit -> String
[_unitConversionFactor] :: Unit -> Double
[_unitAuthority] :: Unit -> Maybe Authority
unitName :: Lens' Unit String
unitConversionFactor :: Lens' Unit Double
unitAuthority :: Lens' Unit (Maybe Authority)
data Spheroid
Spheroid :: String -> Double -> Double -> Maybe Authority -> Spheroid
[_spheroidName] :: Spheroid -> String
[_spheroidSemiMajor] :: Spheroid -> Double
[_spheroidInverseFlattening] :: Spheroid -> Double
[_spheroidAuthority] :: Spheroid -> Maybe Authority
spheroidSemiMajor :: Lens' Spheroid Double
spheroidName :: Lens' Spheroid String
spheroidInverseFlattening :: Lens' Spheroid Double
spheroidAuthority :: Lens' Spheroid (Maybe Authority)
data ToWGS84
ToWGS84 :: V3 Double -> V3 Double -> Double -> ToWGS84
[_towgs84D] :: ToWGS84 -> V3 Double
[_towgs84E] :: ToWGS84 -> V3 Double
[_towgs84PPM] :: ToWGS84 -> Double
towgs84PPM :: Lens' ToWGS84 Double
towgs84E :: Lens' ToWGS84 (V3 Double)
towgs84D :: Lens' ToWGS84 (V3 Double)
data Datum
Datum :: String -> Spheroid -> Maybe ToWGS84 -> Maybe Authority -> Datum
[_datumName] :: Datum -> String
[_datumSpheroid] :: Datum -> Spheroid
[_datumToWGS84] :: Datum -> Maybe ToWGS84
[_datumAuthority] :: Datum -> Maybe Authority
datumToWGS84 :: Lens' Datum (Maybe ToWGS84)
datumSpheroid :: Lens' Datum Spheroid
datumName :: Lens' Datum String
datumAuthority :: Lens' Datum (Maybe Authority)
data PrimeMeridian
PrimeMeridian :: String -> Double -> Maybe Authority -> PrimeMeridian
[_primemName] :: PrimeMeridian -> String
[_primemLongitude] :: PrimeMeridian -> Double
[_primemAuthority] :: PrimeMeridian -> Maybe Authority
primemName :: Lens' PrimeMeridian String
primemLongitude :: Lens' PrimeMeridian Double
primemAuthority :: Lens' PrimeMeridian (Maybe Authority)
data AxisDirection
North :: AxisDirection
South :: AxisDirection
East :: AxisDirection
West :: AxisDirection
Up :: AxisDirection
Down :: AxisDirection
Other :: AxisDirection
data Axis
Axis :: String -> AxisDirection -> Axis
[_axisName] :: Axis -> String
[_axisDirection] :: Axis -> AxisDirection
axisName :: Lens' Axis String
axisDirection :: Lens' Axis AxisDirection
data GeographicCS
GeogCS :: String -> Datum -> PrimeMeridian -> Unit -> Maybe (Axis, Axis) -> Maybe Authority -> GeographicCS
[_geogcsName] :: GeographicCS -> String
[_geogcsDatum] :: GeographicCS -> Datum
[_geogcsPrimeMeridian] :: GeographicCS -> PrimeMeridian
[_geogcsAngularUnit] :: GeographicCS -> Unit
[_geogcsTwinAxes] :: GeographicCS -> Maybe (Axis, Axis)
[_geogcsAuthority] :: GeographicCS -> Maybe Authority
geogcsTwinAxes :: Lens' GeographicCS (Maybe (Axis, Axis))
geogcsPrimeMeridian :: Lens' GeographicCS PrimeMeridian
geogcsName :: Lens' GeographicCS String
geogcsDatum :: Lens' GeographicCS Datum
geogcsAuthority :: Lens' GeographicCS (Maybe Authority)
geogcsAngularUnit :: Lens' GeographicCS Unit
data Projection
Proj :: String -> Maybe Authority -> Projection
[_projName] :: Projection -> String
[_projAuthority] :: Projection -> Maybe Authority
projName :: Lens' Projection String
projAuthority :: Lens' Projection (Maybe Authority)
data ProjectedCS
ProjCS :: String -> GeographicCS -> Projection -> [Parameter] -> Unit -> Maybe (Axis, Axis) -> Maybe Authority -> ProjectedCS
[_projcsName] :: ProjectedCS -> String
[_projcsGeographicCS] :: ProjectedCS -> GeographicCS
[_projcsProjection] :: ProjectedCS -> Projection
[_projcsParameters] :: ProjectedCS -> [Parameter]
[_projcsLinearUnit] :: ProjectedCS -> Unit
[_projcsTwinAxes] :: ProjectedCS -> Maybe (Axis, Axis)
[_projcsAuthority] :: ProjectedCS -> Maybe Authority
projcsTwinAxes :: Lens' ProjectedCS (Maybe (Axis, Axis))
projcsProjection :: Lens' ProjectedCS Projection
projcsParameters :: Lens' ProjectedCS [Parameter]
projcsName :: Lens' ProjectedCS String
projcsLinearUnit :: Lens' ProjectedCS Unit
projcsGeographicCS :: Lens' ProjectedCS GeographicCS
projcsAuthority :: Lens' ProjectedCS (Maybe Authority)
instance GHC.Generics.Generic Data.Geo.WKT.Types.ProjectedCS
instance GHC.Classes.Ord Data.Geo.WKT.Types.ProjectedCS
instance GHC.Classes.Eq Data.Geo.WKT.Types.ProjectedCS
instance GHC.Show.Show Data.Geo.WKT.Types.ProjectedCS
instance GHC.Generics.Generic Data.Geo.WKT.Types.Projection
instance GHC.Classes.Ord Data.Geo.WKT.Types.Projection
instance GHC.Classes.Eq Data.Geo.WKT.Types.Projection
instance GHC.Show.Show Data.Geo.WKT.Types.Projection
instance GHC.Generics.Generic Data.Geo.WKT.Types.GeographicCS
instance GHC.Classes.Ord Data.Geo.WKT.Types.GeographicCS
instance GHC.Classes.Eq Data.Geo.WKT.Types.GeographicCS
instance GHC.Show.Show Data.Geo.WKT.Types.GeographicCS
instance GHC.Generics.Generic Data.Geo.WKT.Types.Axis
instance GHC.Classes.Ord Data.Geo.WKT.Types.Axis
instance GHC.Classes.Eq Data.Geo.WKT.Types.Axis
instance GHC.Show.Show Data.Geo.WKT.Types.Axis
instance GHC.Generics.Generic Data.Geo.WKT.Types.AxisDirection
instance GHC.Classes.Ord Data.Geo.WKT.Types.AxisDirection
instance GHC.Classes.Eq Data.Geo.WKT.Types.AxisDirection
instance GHC.Show.Show Data.Geo.WKT.Types.AxisDirection
instance GHC.Generics.Generic Data.Geo.WKT.Types.PrimeMeridian
instance GHC.Classes.Ord Data.Geo.WKT.Types.PrimeMeridian
instance GHC.Classes.Eq Data.Geo.WKT.Types.PrimeMeridian
instance GHC.Show.Show Data.Geo.WKT.Types.PrimeMeridian
instance GHC.Generics.Generic Data.Geo.WKT.Types.Datum
instance GHC.Classes.Ord Data.Geo.WKT.Types.Datum
instance GHC.Classes.Eq Data.Geo.WKT.Types.Datum
instance GHC.Show.Show Data.Geo.WKT.Types.Datum
instance GHC.Generics.Generic Data.Geo.WKT.Types.ToWGS84
instance GHC.Classes.Ord Data.Geo.WKT.Types.ToWGS84
instance GHC.Classes.Eq Data.Geo.WKT.Types.ToWGS84
instance GHC.Show.Show Data.Geo.WKT.Types.ToWGS84
instance GHC.Generics.Generic Data.Geo.WKT.Types.Spheroid
instance GHC.Classes.Ord Data.Geo.WKT.Types.Spheroid
instance GHC.Classes.Eq Data.Geo.WKT.Types.Spheroid
instance GHC.Show.Show Data.Geo.WKT.Types.Spheroid
instance GHC.Generics.Generic Data.Geo.WKT.Types.Unit
instance GHC.Classes.Ord Data.Geo.WKT.Types.Unit
instance GHC.Classes.Eq Data.Geo.WKT.Types.Unit
instance GHC.Show.Show Data.Geo.WKT.Types.Unit
instance GHC.Generics.Generic Data.Geo.WKT.Types.Authority
instance GHC.Classes.Ord Data.Geo.WKT.Types.Authority
instance GHC.Classes.Eq Data.Geo.WKT.Types.Authority
instance GHC.Show.Show Data.Geo.WKT.Types.Authority
instance GHC.Generics.Generic Data.Geo.WKT.Types.Parameter
instance GHC.Classes.Ord Data.Geo.WKT.Types.Parameter
instance GHC.Classes.Eq Data.Geo.WKT.Types.Parameter
instance GHC.Show.Show Data.Geo.WKT.Types.Parameter

module Data.Geo.WKT.Parser
object :: String -> Parser a -> Parser a
quotedString :: Parser String
fieldSep :: Parser ()
number :: Parser Double
twinAxes :: Parser (Axis, Axis)
unit :: Parser Unit
parameter :: Parser Parameter
authority :: Parser Authority
axis :: Parser Axis
projection :: Parser Projection
spheroid :: Parser Spheroid
datum :: Parser Datum
primeMeridian :: Parser PrimeMeridian
toWGS84 :: Parser ToWGS84
projectedCS :: Parser ProjectedCS
geographicCS :: Parser GeographicCS

module Data.Geo.WKT