Safe Haskell	None
Language	Haskell2010

Hasura.SQL.GeoJSON

Documentation

data Position Source #

Constructors

Position !Double !Double !(Maybe Double)

Instances

Instances details

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

withParsedArray :: FromJSON a => String -> (Vector a -> Parser b) -> Value -> Parser b Source #

newtype Point Source #

Constructors

Point
Fields unPoint :: Position

Instances

Instances details

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

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

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

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

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

newtype Polygon Source #

Constructors

Polygon
Fields unPolygon :: [LinearRing]

Instances

Instances details

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

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

data CRSNameProps Source #

Constructors

CRSNameProps
Fields _cnpName :: !Text

data CRSLinkProps Source #

Constructors

CRSLinkProps
Fields _clpHref :: !Text _clpType :: !(Maybe Text)

data CRS Source #

Constructors

CRSName !CRSNameProps
CRSLink !CRSLinkProps

data GeometryWithCRS Source #

Constructors

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

Instances

Instances details

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

encToCoords :: ToJSON a => Text -> a -> Maybe CRS -> Value Source #

newtype GeometryCollection Source #

Constructors

GeometryCollection
Fields unGeometryCollection :: [GeometryWithCRS]

Instances

Instances details

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

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