Idris2Doc
: Language.JSON.Parser
Index
Default
Alternative
Black & White
Language.JSON.Parser
parseJSON
:
List
(
WithBounds
JSONToken
) ->
Maybe
JSON
Totality
: total