IdrisDoc: Language.JSON

Language.JSON

The JSON language, as described at http://json.org/

parse : String -> Maybe JSON

Parse a JSON string.