Idris2Doc
: Language.JSON
Index
Default
Alternative
Black & White
Language.JSON
The JSON language, as described at https://json.org/
parse
:
String
->
Maybe
JSON
Parse a JSON string.
Totality
: total