-- |

{-# LANGUAGE TemplateHaskell #-}

module JSON where

import Prelude ()

import Prelude.Compat

import qualified Data.Aeson.TH as A

import qualified Language.PureScript as P

data ErrorPosition = ErrorPosition

{ startLine :: Int

, startColumn :: Int

, endLine :: Int

, endColumn :: Int

}

data JSONError = JSONError

{ position :: Maybe ErrorPosition

, message :: String

, errorCode :: String

, filename :: Maybe String

, moduleName :: Maybe String

}

data JSONResult = JSONResult

{ warnings :: [JSONError]

, errors :: [JSONError]

}

$(A.deriveJSON A.defaultOptions ''ErrorPosition)

$(A.deriveJSON A.defaultOptions ''JSONError)

$(A.deriveJSON A.defaultOptions ''JSONResult)

toJSONErrors :: Bool -> P.Level -> P.MultipleErrors -> [JSONError]

toJSONErrors verbose level = map (toJSONError verbose level) . P.runMultipleErrors

toJSONError :: Bool -> P.Level -> P.ErrorMessage -> JSONError

toJSONError verbose level e =

JSONError (toErrorPosition <$> sspan)

(P.renderBox (P.prettyPrintSingleError verbose level (P.stripModuleAndSpan e)))

(P.errorCode e)

(P.spanName <$> sspan)

(P.runModuleName <$> P.errorModule e)

where

sspan :: Maybe P.SourceSpan

sspan = P.errorSpan e

toErrorPosition :: P.SourceSpan -> ErrorPosition

toErrorPosition ss =

ErrorPosition (P.sourcePosLine (P.spanStart ss))

(P.sourcePosColumn (P.spanStart ss))

(P.sourcePosLine (P.spanEnd ss))

(P.sourcePosColumn (P.spanEnd ss))