Idris2Doc
: Language.JSON.String.Lexer
Index
Default
Alternative
Black & White
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