git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/libs/contrib/Language/JSON.idr
14 lines 286 B history raw
1||| The JSON language, as described at http://json.org/
2module Language.JSON
4import Language.JSON.Lexer
5import Language.JSON.Parser
7import public Language.JSON.Data
9%access export
10%default total
12||| Parse a JSON string.
13parse : String -> Maybe JSON
14parse x = parseJSON !(lexJSON x)