module Language.PureScript.AST.SourcePos where
import Prelude.Compat
import Data.Aeson ((.=), (.:))
import qualified Data.Aeson as A
data SourcePos = SourcePos
{
sourcePosLine :: Int
, sourcePosColumn :: Int
} deriving (Show, Eq, Ord)
displaySourcePos :: SourcePos -> String
displaySourcePos sp =
"line " ++ show (sourcePosLine sp) ++
", column " ++ show (sourcePosColumn sp)
instance A.ToJSON SourcePos where
toJSON SourcePos{..} =
A.toJSON [sourcePosLine, sourcePosColumn]
instance A.FromJSON SourcePos where
parseJSON arr = do
[line, col] <- A.parseJSON arr
return $ SourcePos line col
data SourceSpan = SourceSpan
{
spanName :: String
, spanStart :: SourcePos
, spanEnd :: SourcePos
} deriving (Show, Eq, Ord)
displayStartEndPos :: SourceSpan -> String
displayStartEndPos sp =
displaySourcePos (spanStart sp) ++ " - " ++
displaySourcePos (spanEnd sp)
displaySourceSpan :: SourceSpan -> String
displaySourceSpan sp =
spanName sp ++ " " ++
displayStartEndPos sp
instance A.ToJSON SourceSpan where
toJSON SourceSpan{..} =
A.object [ "name" .= spanName
, "start" .= spanStart
, "end" .= spanEnd
]
instance A.FromJSON SourceSpan where
parseJSON = A.withObject "SourceSpan" $ \o ->
SourceSpan <$>
o .: "name" <*>
o .: "start" <*>
o .: "end"
internalModuleSourceSpan :: String -> SourceSpan
internalModuleSourceSpan name = SourceSpan name (SourcePos 0 0) (SourcePos 0 0)