Idris2Doc : Language.JSON

Language.JSON

parse : String -> MaybeJSON
Parse a JSON string.
Totality: total