-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Parsers and types for Well-Known Text data -- -- Parsers and types for Well-Known Text data @package wkt @version 0.2 module Data.Geo.WKT.Types -- | From -- http:www.geoapi.org3.0javadocorgopengisreferencingdoc-files/WKT.html 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 Typeable ProjectedCS instance Show ProjectedCS instance Eq ProjectedCS instance Ord ProjectedCS instance Generic ProjectedCS instance Datatype D1ProjectedCS instance Constructor C1_0ProjectedCS instance Selector S1_0_0ProjectedCS instance Selector S1_0_1ProjectedCS instance Selector S1_0_2ProjectedCS instance Selector S1_0_3ProjectedCS instance Selector S1_0_4ProjectedCS instance Selector S1_0_5ProjectedCS instance Selector S1_0_6ProjectedCS instance Typeable Projection instance Show Projection instance Eq Projection instance Ord Projection instance Generic Projection instance Datatype D1Projection instance Constructor C1_0Projection instance Selector S1_0_0Projection instance Selector S1_0_1Projection instance Typeable GeographicCS instance Show GeographicCS instance Eq GeographicCS instance Ord GeographicCS instance Generic GeographicCS instance Datatype D1GeographicCS instance Constructor C1_0GeographicCS instance Selector S1_0_0GeographicCS instance Selector S1_0_1GeographicCS instance Selector S1_0_2GeographicCS instance Selector S1_0_3GeographicCS instance Selector S1_0_4GeographicCS instance Selector S1_0_5GeographicCS instance Typeable AxisDirection instance Typeable Axis instance Show AxisDirection instance Eq AxisDirection instance Ord AxisDirection instance Generic AxisDirection instance Show Axis instance Eq Axis instance Ord Axis instance Generic Axis instance Datatype D1AxisDirection instance Constructor C1_0AxisDirection instance Constructor C1_1AxisDirection instance Constructor C1_2AxisDirection instance Constructor C1_3AxisDirection instance Constructor C1_4AxisDirection instance Constructor C1_5AxisDirection instance Constructor C1_6AxisDirection instance Datatype D1Axis instance Constructor C1_0Axis instance Selector S1_0_0Axis instance Selector S1_0_1Axis instance Typeable PrimeMeridian instance Show PrimeMeridian instance Eq PrimeMeridian instance Ord PrimeMeridian instance Generic PrimeMeridian instance Datatype D1PrimeMeridian instance Constructor C1_0PrimeMeridian instance Selector S1_0_0PrimeMeridian instance Selector S1_0_1PrimeMeridian instance Selector S1_0_2PrimeMeridian instance Typeable Datum instance Show Datum instance Eq Datum instance Ord Datum instance Generic Datum instance Datatype D1Datum instance Constructor C1_0Datum instance Selector S1_0_0Datum instance Selector S1_0_1Datum instance Selector S1_0_2Datum instance Selector S1_0_3Datum instance Typeable ToWGS84 instance Show ToWGS84 instance Eq ToWGS84 instance Ord ToWGS84 instance Generic ToWGS84 instance Datatype D1ToWGS84 instance Constructor C1_0ToWGS84 instance Selector S1_0_0ToWGS84 instance Selector S1_0_1ToWGS84 instance Selector S1_0_2ToWGS84 instance Typeable Spheroid instance Show Spheroid instance Eq Spheroid instance Ord Spheroid instance Generic Spheroid instance Datatype D1Spheroid instance Constructor C1_0Spheroid instance Selector S1_0_0Spheroid instance Selector S1_0_1Spheroid instance Selector S1_0_2Spheroid instance Selector S1_0_3Spheroid instance Typeable Unit instance Show Unit instance Eq Unit instance Ord Unit instance Generic Unit instance Datatype D1Unit instance Constructor C1_0Unit instance Selector S1_0_0Unit instance Selector S1_0_1Unit instance Selector S1_0_2Unit instance Typeable Authority instance Show Authority instance Eq Authority instance Ord Authority instance Generic Authority instance Datatype D1Authority instance Constructor C1_0Authority instance Selector S1_0_0Authority instance Selector S1_0_1Authority instance Typeable Parameter instance Show Parameter instance Eq Parameter instance Ord Parameter instance Generic Parameter instance Datatype D1Parameter instance Constructor C1_0Parameter instance Selector S1_0_0Parameter instance Selector S1_0_1Parameter module Data.Geo.WKT.Parser object :: String -> Parser a -> Parser a quotedString :: Parser String fieldSep :: Parser () number :: Parser Double twinAxes :: ParsecT String () Identity (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