Idris2Doc : Language.JSON.String.Lexer

Language.JSON.String.Lexer

Definitions

quo : Lexer
Totality: total
Visibility: export
esc : Lexer -> Lexer
Totality: total
Visibility: export
lexString : String -> Maybe (List (WithBounds JSONStringToken))
Totality: total
Visibility: export