Idris2Doc : Language.JSON.Parser

Language.JSON.Parser

Reexports
import public Language.JSON.Tokens
Definitions
parseJSON : List (WithBounds JSONToken) -> Maybe JSON
  Totality: total
  Visibility: export