0 | ||| The JSON language, as described at https://json.org/ 1 | module Language.JSON 2 | 3 | import Language.JSON.Lexer 4 | import Language.JSON.Parser 5 | 6 | import public Language.JSON.Data 7 | 8 | import public Text.Bounded 9 | 10 | %default total 11 | 12 | ||| Parse a JSON string. 13 | export 14 | parse : String -> Maybe JSON 15 | parse x = parseJSON !(lexJSON x) 16 |