module Language.PureScript.AST.SourcePos where
import qualified Data.Data as D
import Data.Aeson ((.=))
import qualified Data.Aeson as A
data SourcePos = SourcePos
{
sourcePosLine :: Int
, sourcePosColumn :: Int
} deriving (Eq, Ord, Show, D.Data, D.Typeable)
displaySourcePos :: SourcePos -> String
displaySourcePos sp =
"line " ++ show (sourcePosLine sp) ++
", column " ++ show (sourcePosColumn sp)
instance A.ToJSON SourcePos where
toJSON SourcePos{..} =
A.toJSON [sourcePosLine, sourcePosColumn]
data SourceSpan = SourceSpan
{
spanName :: String
, spanStart :: SourcePos
, spanEnd :: SourcePos
} deriving (Eq, Ord, Show, D.Data, D.Typeable)
displaySourceSpan :: SourceSpan -> String
displaySourceSpan sp =
spanName sp ++ " " ++
displaySourcePos (spanStart sp) ++ " - " ++
displaySourcePos (spanEnd sp)
instance A.ToJSON SourceSpan where
toJSON SourceSpan{..} =
A.object [ "name" .= spanName
, "start" .= spanStart
, "end" .= spanEnd
]