~/bend-docscommunity

proof/JSON_LexWhitespaceProof.bend checks

raw source on the hub · import 0x3d2147650fe101ae3c3e4a95333b4238/proof/JSON_LexWhitespaceProof.bend as JSON_LexWhitespaceProof

3 imports
import Base
import ../libs/JSON.bend as J
import ./JSON_StringProof.bend as S

Definitions

def after_mode source · line 5 · raw

@action:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction -> @mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode

def after_reversed source · line 17 · raw

@action:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction -> @head:Char -> @reversed:String -> String

def after_acc source · line 29 · raw

@action:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction -> @head:Char -> @reversed:String -> @acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>

def lexemes_step source · line 44 · raw

@+head:Char -> @+tail:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lexemes(SCon{head, tail}, mode, reversed, acc, action) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(tail, after_mode(action, mode), after_reversed(action, head, reversed), after_acc(action, head, reversed, acc)) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_scan_step source · line 61 · raw

@+head:Char -> @+tail:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(SCon{head, tail}, mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(tail, after_mode(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{head, tail}, mode), mode), after_reversed(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{head, tail}, mode), head, reversed), after_acc(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def prefix_mode source · line 73 · raw

@text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode

def prefix_reversed source · line 79 · raw

@text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> String

def prefix_acc source · line 86 · raw

@text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>

def prefix_mode_append source · line 97 · raw

@+text:String -> @+suffix:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> {prefix_mode(String.append(text, suffix), mode) == prefix_mode(suffix, prefix_mode(text, mode)) : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode}

def prefix_reversed_append source · line 105 · raw

@+text:String -> @+suffix:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> {prefix_reversed(String.append(text, suffix), mode, reversed) == prefix_reversed(suffix, prefix_mode(text, mode), prefix_reversed(text, mode, reversed)) : String}

def prefix_acc_append source · line 115 · raw

@+text:String -> @+suffix:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {prefix_acc(String.append(text, suffix), mode, reversed, acc) == prefix_acc(suffix, prefix_mode(text, mode), prefix_reversed(text, mode, reversed), prefix_acc(text, mode, reversed, acc)) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_scan_append source · line 127 · raw

@+text:String -> @+suffix:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(text, suffix), mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, prefix_mode(text, mode), prefix_reversed(text, mode, reversed), prefix_acc(text, mode, reversed, acc)) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_scan_context source · line 146 · raw

@+text:String -> @+mode1:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed1:String -> @+acc1:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @+mode2:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed2:String -> @+acc2:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @mode_eq:{mode1 == mode2 : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode} -> @reversed_eq:{reversed1 == reversed2 : String} -> @acc_eq:{acc1 == acc2 : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode1, reversed1, acc1) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode2, reversed2, acc2) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def scan_punctuation_char source · line 166 · raw

@+character:Char -> @+tail:String -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{character, tail}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{character} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(SCon{character, tail}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(tail, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{character} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.flush_lexeme(reversed, acc)) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def raw_string_seed source · line 189 · raw

@+character:Char -> @+tail:String -> @classifier:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Raw{} == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_class(character) : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.EscapeClass} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{character, tail}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexStringChar{} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction}

def scan_raw_string_char source · line 198 · raw

@+character:Char -> @+tail:String -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @classifier:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Raw{} == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_class(character) : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.EscapeClass} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(SCon{character, tail}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(tail, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, SCon{character, reversed}, acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def scan_escape_char source · line 216 · raw

@+character:Char -> @+tail:String -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @+class:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.EscapeClass -> @classifier:{class == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_class(character) : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.EscapeClass} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_char_from_class(character, class), tail), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(tail, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, String.append(String.reverse(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_char_from_class(character, class)), reversed), acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def escape_reverse source · line 265 · raw

@text:String -> @reversed:String -> String

def escape_reverse_shape source · line 271 · raw

@+text:String -> @+reversed:String -> {String.reverse(escape_reverse(text, reversed)) == String.append(String.reverse(reversed), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text)) : String}

def scan_escape_string source · line 297 · raw

@+text:String -> @+suffix:String -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), suffix), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Quoted{}, escape_reverse(text, reversed), acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def quoted_buffer_payload source · line 317 · raw

@+text:String -> {String.reverse(SCon{'"', escape_reverse(text, "\"")}) == SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")} : String}

def lex_rendered_string source · line 333 · raw

@+text:String -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", []) == [0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}}] : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_rendered_string_suffix source · line 353 · raw

@+text:String -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}, suffix), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_string_before_punctuation source · line 390 · raw

@+text:String -> @+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}, String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{SCon{'"', String.append(0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.escape_string(text), "\"")}} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_null_before_punctuation source · line 402 · raw

@+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append("null", String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{"null"} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_true_before_punctuation source · line 413 · raw

@+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append("true", String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{"true"} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_false_before_punctuation source · line 424 · raw

@+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append("false", String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Payload{"false"} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_empty_array_before_punctuation source · line 435 · raw

@+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append("[]", String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{']'} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{'['} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def lex_empty_object_before_punctuation source · line 449 · raw

@+punctuation:Char -> @+suffix:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> @action:{0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_seed_action(SCon{punctuation, suffix}, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexPunctuation{punctuation} : 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexAction} -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append("{}", String.append(SCon{punctuation, ""}, suffix)), 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(suffix, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Outside{}, "", 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{punctuation} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{'}'} <> 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Punctuation{'{'} <> acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def trailing_space source · line 463 · raw

@+text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(text, " "), mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode, reversed, acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def trailing_tab source · line 497 · raw

@+text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(text, "\t"), mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode, reversed, acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def trailing_return source · line 531 · raw

@+text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(text, "\r"), mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode, reversed, acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}

def trailing_newline source · line 565 · raw

@+text:String -> @+mode:0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.LexMode -> @+reversed:String -> @+acc:List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme> -> {0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(String.append(text, "\n"), mode, reversed, acc) == 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.lex_scan(text, mode, reversed, acc) : List<&2, 0x3d2147650fe101ae3c3e4a95333b4238/libs/JSON.Lexeme>}