module Data.WKT.Classes (module Data.WKT.Classes) where
import Data.Attoparsec.Text (Parser, parseOnly)
import Data.Text (Text)

-- |Used to check if a given geometry is valid.
class Valid a where
    isValid :: a -> Bool

-- |Used to convert a geometry to WKT.
class ToWKT a where
    toWKT :: a -> Text

-- |Used to convert a WKT `Text` to a geometry.
class ParseableFromWKT a => FromWKT a where
    fromWKT :: Text -> a Double
    fromWKT = (String -> a Double)
-> (a Double -> a Double) -> Either String (a Double) -> a Double
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either (String -> a Double
forall a. HasCallStack => String -> a
error (String -> a Double) -> (String -> String) -> String -> a Double
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String
forall a. Show a => a -> String
show) a Double -> a Double
forall a. a -> a
id (Either String (a Double) -> a Double)
-> (Text -> Either String (a Double)) -> Text -> a Double
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Parser (a Double) -> Text -> Either String (a Double)
forall a. Parser a -> Text -> Either String a
parseOnly Parser (a Double)
forall (a :: * -> *). ParseableFromWKT a => Parser (a Double)
wktParser

-- |WKT Attoparsec `Parser` for a given geometry. Always parses to `Double` for simplicity.
class ParseableFromWKT a where
    wktParser :: Parser (a Double)