Idris2Doc : Language.JSON.Lexer

Language.JSON.Lexer

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