Idris2Doc : Language.JSON.Parser

Language.JSON.Parser

Reexports

importpublic Language.JSON.Tokens

Definitions

parseJSON : List (WithBoundsJSONToken) ->MaybeJSON
Totality: total
Visibility: export