Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.WKT.Classes

Synopsis

class Valid a where
- isValid :: a -> Bool
class ParseableFromWKT a => FromWKT (a :: Type -> Type) where
- fromWKT :: Text -> a Double
class ToWKT a where
- toWKT :: a -> Text
class ParseableFromWKT (a :: Type -> Type) where
- wktParser :: Parser (a Double)

Documentation

class Valid a where Source #

Used to check if a given geometry is valid.

Methods

isValid :: a -> Bool Source #

Instances

Instances details

Eq a => Valid (Geometries a) Source #
Instance details Defined in Data.WKT.Geometries Methods isValid :: Geometries a -> Bool Source #
Eq a => Valid (GeometryCollection a) Source #
Instance details Defined in Data.WKT.GeometryCollection Methods isValid :: GeometryCollection a -> Bool Source #
Valid (LineString a) Source #
Instance details Defined in Data.WKT.LineString Methods isValid :: LineString a -> Bool Source #
Valid (MultiLineString a) Source #
Instance details Defined in Data.WKT.MultiLineString Methods isValid :: MultiLineString a -> Bool Source #
Valid (MultiPoint a) Source #
Instance details Defined in Data.WKT.MultiPoint Methods isValid :: MultiPoint a -> Bool Source #
Eq a => Valid (MultiPolygon a) Source #
Instance details Defined in Data.WKT.MultiPolygon Methods isValid :: MultiPolygon a -> Bool Source #
Valid (Point a) Source #
Instance details Defined in Data.WKT.Point Methods isValid :: Point a -> Bool Source #
Eq a => Valid (Polygon a) Source #
Instance details Defined in Data.WKT.Polygon Methods isValid :: Polygon a -> Bool Source #
Ord a => Valid (PolyhedralSurface a) Source #
Instance details Defined in Data.WKT.PolyhedralSurface Methods isValid :: PolyhedralSurface a -> Bool Source #
Eq a => Valid (Primitives a) Source #
Instance details Defined in Data.WKT.Primitives Methods isValid :: Primitives a -> Bool Source #
Ord a => Valid (TIN a) Source #
Instance details Defined in Data.WKT.TIN Methods isValid :: TIN a -> Bool Source #
Eq a => Valid (Triangle a) Source #
Instance details Defined in Data.WKT.Triangle Methods isValid :: Triangle a -> Bool Source #

class ParseableFromWKT a => FromWKT (a :: Type -> Type) where Source #

Used to convert a WKT Text to a geometry.

Minimal complete definition

Nothing

Methods

fromWKT :: Text -> a Double Source #

Instances

Instances details

FromWKT Geometries Source #
Instance details Defined in Data.WKT.Geometries Methods fromWKT :: Text -> Geometries Double Source #
FromWKT GeometryCollection Source #
Instance details Defined in Data.WKT.GeometryCollection Methods fromWKT :: Text -> GeometryCollection Double Source #
FromWKT LineString Source #
Instance details Defined in Data.WKT.LineString Methods fromWKT :: Text -> LineString Double Source #
FromWKT MultiLineString Source #
Instance details Defined in Data.WKT.MultiLineString Methods fromWKT :: Text -> MultiLineString Double Source #
FromWKT MultiPoint Source #
Instance details Defined in Data.WKT.MultiPoint Methods fromWKT :: Text -> MultiPoint Double Source #
FromWKT MultiPolygon Source #
Instance details Defined in Data.WKT.MultiPolygon Methods fromWKT :: Text -> MultiPolygon Double Source #
FromWKT Point Source #
Instance details Defined in Data.WKT.Point Methods fromWKT :: Text -> Point Double Source #
FromWKT Polygon Source #
Instance details Defined in Data.WKT.Polygon Methods fromWKT :: Text -> Polygon Double Source #
FromWKT Primitives Source #
Instance details Defined in Data.WKT.Primitives Methods fromWKT :: Text -> Primitives Double Source #

class ToWKT a where Source #

Used to convert a geometry to WKT.

Methods

toWKT :: a -> Text Source #

Instances

Instances details

Show a => ToWKT (Geometries a) Source #
Instance details Defined in Data.WKT.Geometries Methods toWKT :: Geometries a -> Text Source #
Show a => ToWKT (GeometryCollection a) Source #
Instance details Defined in Data.WKT.GeometryCollection Methods toWKT :: GeometryCollection a -> Text Source #
Show a => ToWKT (LineString a) Source #
Instance details Defined in Data.WKT.LineString Methods toWKT :: LineString a -> Text Source #
Show a => ToWKT (MultiLineString a) Source #
Instance details Defined in Data.WKT.MultiLineString Methods toWKT :: MultiLineString a -> Text Source #
Show a => ToWKT (MultiPoint a) Source #
Instance details Defined in Data.WKT.MultiPoint Methods toWKT :: MultiPoint a -> Text Source #
Show a => ToWKT (MultiPolygon a) Source #
Instance details Defined in Data.WKT.MultiPolygon Methods toWKT :: MultiPolygon a -> Text Source #
Show a => ToWKT (Point a) Source #
Instance details Defined in Data.WKT.Point Methods toWKT :: Point a -> Text Source #
Show a => ToWKT (Polygon a) Source #
Instance details Defined in Data.WKT.Polygon Methods toWKT :: Polygon a -> Text Source #
Show a => ToWKT (PolyhedralSurface a) Source #
Instance details Defined in Data.WKT.PolyhedralSurface Methods toWKT :: PolyhedralSurface a -> Text Source #
Show a => ToWKT (Primitives a) Source #
Instance details Defined in Data.WKT.Primitives Methods toWKT :: Primitives a -> Text Source #
Show a => ToWKT (TIN a) Source #
Instance details Defined in Data.WKT.TIN Methods toWKT :: TIN a -> Text Source #
Show a => ToWKT (Triangle a) Source #
Instance details Defined in Data.WKT.Triangle Methods toWKT :: Triangle a -> Text Source #

class ParseableFromWKT (a :: Type -> Type) where Source #

WKT Attoparsec Parser for a given geometry. Always parses to Double for simplicity.

Methods

wktParser :: Parser (a Double) Source #

Instances

Instances details

ParseableFromWKT Geometries Source #
Instance details Defined in Data.WKT.Geometries Methods wktParser :: Parser (Geometries Double) Source #
ParseableFromWKT GeometryCollection Source #
Instance details Defined in Data.WKT.GeometryCollection Methods wktParser :: Parser (GeometryCollection Double) Source #
ParseableFromWKT LineString Source #
Instance details Defined in Data.WKT.LineString Methods wktParser :: Parser (LineString Double) Source #
ParseableFromWKT MultiLineString Source #
Instance details Defined in Data.WKT.MultiLineString Methods wktParser :: Parser (MultiLineString Double) Source #
ParseableFromWKT MultiPoint Source #
Instance details Defined in Data.WKT.MultiPoint Methods wktParser :: Parser (MultiPoint Double) Source #
ParseableFromWKT MultiPolygon Source #
Instance details Defined in Data.WKT.MultiPolygon Methods wktParser :: Parser (MultiPolygon Double) Source #
ParseableFromWKT Point Source #
Instance details Defined in Data.WKT.Point Methods wktParser :: Parser (Point Double) Source #
ParseableFromWKT Polygon Source #
Instance details Defined in Data.WKT.Polygon Methods wktParser :: Parser (Polygon Double) Source #
ParseableFromWKT Primitives Source #
Instance details Defined in Data.WKT.Primitives Methods wktParser :: Parser (Primitives Double) Source #