Idris2Doc : Language.JSON.String.Lexer

Language.JSON.String.Lexer

esc : Lexer -> Lexer
Totality: total
lexString : String -> Maybe (ListJSONStringToken)
Totality: total
quo : Lexer
Totality: total