Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Parameter = Parameter {}
- paramValue :: Lens' Parameter Double
- paramName :: Lens' Parameter String
- data Authority = Authority {}
- authorityName :: Lens' Authority String
- authorityCode :: Lens' Authority String
- data Unit = Unit {}
- unitName :: Lens' Unit String
- unitConversionFactor :: Lens' Unit Double
- unitAuthority :: Lens' Unit (Maybe Authority)
- data Spheroid = Spheroid {}
- spheroidSemiMajor :: Lens' Spheroid Double
- spheroidName :: Lens' Spheroid String
- spheroidInverseFlattening :: Lens' Spheroid Double
- spheroidAuthority :: Lens' Spheroid (Maybe Authority)
- data ToWGS84 = ToWGS84 {}
- towgs84PPM :: Lens' ToWGS84 Double
- towgs84E :: Lens' ToWGS84 (V3 Double)
- towgs84D :: Lens' ToWGS84 (V3 Double)
- data Datum = Datum {}
- datumToWGS84 :: Lens' Datum (Maybe ToWGS84)
- datumSpheroid :: Lens' Datum Spheroid
- datumName :: Lens' Datum String
- datumAuthority :: Lens' Datum (Maybe Authority)
- data PrimeMeridian = PrimeMeridian {}
- primemName :: Lens' PrimeMeridian String
- primemLongitude :: Lens' PrimeMeridian Double
- primemAuthority :: Lens' PrimeMeridian (Maybe Authority)
- data AxisDirection
- data Axis = Axis {}
- axisName :: Lens' Axis String
- axisDirection :: Lens' Axis AxisDirection
- data GeographicCS = GeogCS {}
- 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 {}
- projName :: Lens' Projection String
- projAuthority :: Lens' Projection (Maybe Authority)
- data ProjectedCS = ProjCS {}
- 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)
Documentation
Eq Parameter Source # | |
Ord Parameter Source # | |
Show Parameter Source # | |
Generic Parameter Source # | |
type Rep Parameter = D1 (MetaData "Parameter" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Parameter" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_paramName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_paramValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))) Source # |
Eq Authority Source # | |
Ord Authority Source # | |
Show Authority Source # | |
Generic Authority Source # | |
type Rep Authority = D1 (MetaData "Authority" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Authority" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_authorityName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_authorityCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) Source # |
Eq Unit Source # | |
Ord Unit Source # | |
Show Unit Source # | |
Generic Unit Source # | |
type Rep Unit = D1 (MetaData "Unit" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Unit" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_unitName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Just Symbol "_unitConversionFactor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) (S1 (MetaSel (Just Symbol "_unitAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Authority)))))) Source # |
Eq Spheroid Source # | |
Ord Spheroid Source # | |
Show Spheroid Source # | |
Generic Spheroid Source # | |
type Rep Spheroid = D1 (MetaData "Spheroid" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Spheroid" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_spheroidName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_spheroidSemiMajor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))) ((:*:) (S1 (MetaSel (Just Symbol "_spheroidInverseFlattening") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) (S1 (MetaSel (Just Symbol "_spheroidAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Authority)))))) Source # |
Eq ToWGS84 Source # | |
Ord ToWGS84 Source # | |
Show ToWGS84 Source # | |
Generic ToWGS84 Source # | |
type Rep ToWGS84 = D1 (MetaData "ToWGS84" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "ToWGS84" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_towgs84D") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (V3 Double))) ((:*:) (S1 (MetaSel (Just Symbol "_towgs84E") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (V3 Double))) (S1 (MetaSel (Just Symbol "_towgs84PPM") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))))) Source # |
Eq Datum Source # | |
Ord Datum Source # | |
Show Datum Source # | |
Generic Datum Source # | |
type Rep Datum = D1 (MetaData "Datum" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Datum" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_datumName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_datumSpheroid") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Spheroid))) ((:*:) (S1 (MetaSel (Just Symbol "_datumToWGS84") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ToWGS84))) (S1 (MetaSel (Just Symbol "_datumAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Authority)))))) Source # |
data PrimeMeridian Source #
Eq PrimeMeridian Source # | |
Ord PrimeMeridian Source # | |
Show PrimeMeridian Source # | |
Generic PrimeMeridian Source # | |
type Rep PrimeMeridian = D1 (MetaData "PrimeMeridian" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "PrimeMeridian" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_primemName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Just Symbol "_primemLongitude") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)) (S1 (MetaSel (Just Symbol "_primemAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Authority)))))) Source # |
data AxisDirection Source #
Eq AxisDirection Source # | |
Ord AxisDirection Source # | |
Show AxisDirection Source # | |
Generic AxisDirection Source # | |
type Rep AxisDirection = D1 (MetaData "AxisDirection" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) ((:+:) ((:+:) (C1 (MetaCons "North" PrefixI False) U1) ((:+:) (C1 (MetaCons "South" PrefixI False) U1) (C1 (MetaCons "East" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "West" PrefixI False) U1) (C1 (MetaCons "Up" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Down" PrefixI False) U1) (C1 (MetaCons "Other" PrefixI False) U1)))) Source # |
Eq Axis Source # | |
Ord Axis Source # | |
Show Axis Source # | |
Generic Axis Source # | |
type Rep Axis = D1 (MetaData "Axis" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Axis" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_axisName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_axisDirection") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AxisDirection)))) Source # |
data GeographicCS Source #
geogcsTwinAxes :: Lens' GeographicCS (Maybe (Axis, Axis)) Source #
data Projection Source #
Eq Projection Source # | |
Ord Projection Source # | |
Show Projection Source # | |
Generic Projection Source # | |
type Rep Projection = D1 (MetaData "Projection" "Data.Geo.WKT.Types" "wkt-0.3.0-90MC9wUiBBCIgVnVAgRaet" False) (C1 (MetaCons "Proj" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_projName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Just Symbol "_projAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Authority))))) Source # |
data ProjectedCS Source #
projcsTwinAxes :: Lens' ProjectedCS (Maybe (Axis, Axis)) Source #