Module Pretty.ToJson

Summary of exported operations:

renderMessagesToJson :: Config -> String -> [(Int,String)] -> [Message] -> String   
toJson :: Config -> String -> [(Int,String)] -> Message -> JValue   
warningToDoc :: Doc -> Doc   
hintToDoc :: Config -> Doc -> Doc   

Exported operations:

renderMessagesToJson :: Config -> String -> [(Int,String)] -> [Message] -> String   

toJson :: Config -> String -> [(Int,String)] -> Message -> JValue   

Further infos:
  • partially defined

warningToDoc :: Doc -> Doc   

hintToDoc :: Config -> Doc -> Doc