Idris2Doc : Language.JSON.String.Parser

Language.JSON.String.Parser(source)

Definitions

parseString : List (WithBoundsJSONStringToken) ->MaybeString
Totality: total
Visibility: export