Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.SQL.GeoJSON

Documentation

data Position Source #

Constructors

Position !Double !Double !(Maybe Double)

Instances

Instances details

FromJSON Position Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser Position Source # parseJSONList :: Value -> Parser [Position] Source #
ToJSON Position Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: Position -> Value Source # toEncoding :: Position -> Encoding Source # toJSONList :: [Position] -> Value Source # toEncodingList :: [Position] -> Encoding Source #
Show Position Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Eq Position Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #

newtype Point Source #

Constructors

Point
Fields unPoint :: Position

Instances

Instances details

FromJSON Point Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser Point Source # parseJSONList :: Value -> Parser [Point] Source #
ToJSON Point Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: Point -> Value Source # toEncoding :: Point -> Encoding Source # toJSONList :: [Point] -> Value Source # toEncodingList :: [Point] -> Encoding Source #
Show Point Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
Eq Point Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: Point -> Point -> Bool # (/=) :: Point -> Point -> Bool #
ToWKT Point Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: Point -> Either QErr WKT Source #

newtype MultiPoint Source #

Constructors

MultiPoint
Fields unMultiPoint :: [Position]

Instances

Instances details

FromJSON MultiPoint Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser MultiPoint Source # parseJSONList :: Value -> Parser [MultiPoint] Source #
ToJSON MultiPoint Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: MultiPoint -> Value Source # toEncoding :: MultiPoint -> Encoding Source # toJSONList :: [MultiPoint] -> Value Source # toEncodingList :: [MultiPoint] -> Encoding Source #
Show MultiPoint Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> MultiPoint -> ShowS # show :: MultiPoint -> String # showList :: [MultiPoint] -> ShowS #
Eq MultiPoint Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: MultiPoint -> MultiPoint -> Bool # (/=) :: MultiPoint -> MultiPoint -> Bool #
ToWKT MultiPoint Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: MultiPoint -> Either QErr WKT Source #

data LineString Source #

Constructors

LineString
Fields _lsFirst :: !Position _lsSecond :: !Position _lsRest :: ![Position]

Instances

Instances details

FromJSON LineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser LineString Source # parseJSONList :: Value -> Parser [LineString] Source #
ToJSON LineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: LineString -> Value Source # toEncoding :: LineString -> Encoding Source # toJSONList :: [LineString] -> Value Source # toEncodingList :: [LineString] -> Encoding Source #
Show LineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> LineString -> ShowS # show :: LineString -> String # showList :: [LineString] -> ShowS #
Eq LineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: LineString -> LineString -> Bool # (/=) :: LineString -> LineString -> Bool #
ToWKT LineString Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: LineString -> Either QErr WKT Source #

newtype MultiLineString Source #

Constructors

MultiLineString
Fields unMultiLineString :: [LineString]

Instances

Instances details

FromJSON MultiLineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser MultiLineString Source # parseJSONList :: Value -> Parser [MultiLineString] Source #
ToJSON MultiLineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: MultiLineString -> Value Source # toEncoding :: MultiLineString -> Encoding Source # toJSONList :: [MultiLineString] -> Value Source # toEncodingList :: [MultiLineString] -> Encoding Source #
Show MultiLineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> MultiLineString -> ShowS # show :: MultiLineString -> String # showList :: [MultiLineString] -> ShowS #
Eq MultiLineString Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: MultiLineString -> MultiLineString -> Bool # (/=) :: MultiLineString -> MultiLineString -> Bool #
ToWKT MultiLineString Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: MultiLineString -> Either QErr WKT Source #

data LinearRing Source #

Constructors

LinearRing
Fields _pFirst :: !Position _pSecond :: !Position _pThird :: !Position _pRest :: ![Position]

Instances

Instances details

FromJSON LinearRing Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser LinearRing Source # parseJSONList :: Value -> Parser [LinearRing] Source #
ToJSON LinearRing Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: LinearRing -> Value Source # toEncoding :: LinearRing -> Encoding Source # toJSONList :: [LinearRing] -> Value Source # toEncodingList :: [LinearRing] -> Encoding Source #
Show LinearRing Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> LinearRing -> ShowS # show :: LinearRing -> String # showList :: [LinearRing] -> ShowS #
Eq LinearRing Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: LinearRing -> LinearRing -> Bool # (/=) :: LinearRing -> LinearRing -> Bool #

newtype Polygon Source #

Constructors

Polygon
Fields unPolygon :: [LinearRing]

Instances

Instances details

FromJSON Polygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser Polygon Source # parseJSONList :: Value -> Parser [Polygon] Source #
ToJSON Polygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: Polygon -> Value Source # toEncoding :: Polygon -> Encoding Source # toJSONList :: [Polygon] -> Value Source # toEncodingList :: [Polygon] -> Encoding Source #
Show Polygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> Polygon -> ShowS # show :: Polygon -> String # showList :: [Polygon] -> ShowS #
Eq Polygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: Polygon -> Polygon -> Bool # (/=) :: Polygon -> Polygon -> Bool #
ToWKT Polygon Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: Polygon -> Either QErr WKT Source #

newtype MultiPolygon Source #

Constructors

MultiPolygon
Fields unMultiPolygon :: [Polygon]

Instances

Instances details

FromJSON MultiPolygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser MultiPolygon Source # parseJSONList :: Value -> Parser [MultiPolygon] Source #
ToJSON MultiPolygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: MultiPolygon -> Value Source # toEncoding :: MultiPolygon -> Encoding Source # toJSONList :: [MultiPolygon] -> Value Source # toEncodingList :: [MultiPolygon] -> Encoding Source #
Show MultiPolygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> MultiPolygon -> ShowS # show :: MultiPolygon -> String # showList :: [MultiPolygon] -> ShowS #
Eq MultiPolygon Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: MultiPolygon -> MultiPolygon -> Bool # (/=) :: MultiPolygon -> MultiPolygon -> Bool #
ToWKT MultiPolygon Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: MultiPolygon -> Either QErr WKT Source #

data GeometryWithCRS Source #

Constructors

GeometryWithCRS
Fields _gwcGeom :: !Geometry _gwcCrs :: !(Maybe CRS)

Instances

Instances details

FromJSON GeometryWithCRS Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser GeometryWithCRS Source # parseJSONList :: Value -> Parser [GeometryWithCRS] Source #
ToJSON GeometryWithCRS Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: GeometryWithCRS -> Value Source # toEncoding :: GeometryWithCRS -> Encoding Source # toJSONList :: [GeometryWithCRS] -> Value Source # toEncodingList :: [GeometryWithCRS] -> Encoding Source #
Show GeometryWithCRS Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> GeometryWithCRS -> ShowS # show :: GeometryWithCRS -> String # showList :: [GeometryWithCRS] -> ShowS #
Eq GeometryWithCRS Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: GeometryWithCRS -> GeometryWithCRS -> Bool # (/=) :: GeometryWithCRS -> GeometryWithCRS -> Bool #
ToWKT GeometryWithCRS Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: GeometryWithCRS -> Either QErr WKT Source #

newtype GeometryCollection Source #

Constructors

GeometryCollection
Fields unGeometryCollection :: [GeometryWithCRS]

Instances

Instances details

FromJSON GeometryCollection Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods parseJSON :: Value -> Parser GeometryCollection Source # parseJSONList :: Value -> Parser [GeometryCollection] Source #
ToJSON GeometryCollection Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods toJSON :: GeometryCollection -> Value Source # toEncoding :: GeometryCollection -> Encoding Source # toJSONList :: [GeometryCollection] -> Value Source # toEncodingList :: [GeometryCollection] -> Encoding Source #
Show GeometryCollection Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> GeometryCollection -> ShowS # show :: GeometryCollection -> String # showList :: [GeometryCollection] -> ShowS #
Eq GeometryCollection Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: GeometryCollection -> GeometryCollection -> Bool # (/=) :: GeometryCollection -> GeometryCollection -> Bool #
ToWKT GeometryCollection Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: GeometryCollection -> Either QErr WKT Source #

data Geometry Source #

Constructors

GPoint !Point
GMultiPoint !MultiPoint
GLineString !LineString
GMultiLineString !MultiLineString
GPolygon !Polygon
GMultiPolygon !MultiPolygon
GGeometryCollection !GeometryCollection

Instances

Instances details

Show Geometry Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods showsPrec :: Int -> Geometry -> ShowS # show :: Geometry -> String # showList :: [Geometry] -> ShowS #
Eq Geometry Source #
Instance details Defined in Hasura.SQL.GeoJSON Methods (==) :: Geometry -> Geometry -> Bool # (/=) :: Geometry -> Geometry -> Bool #
ToWKT Geometry Source #
Instance details Defined in Hasura.SQL.WKT Methods toWKT :: Geometry -> Either QErr WKT Source #