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 |