EmergingEztoml.read.fast.lex: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 5046-5105 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=5046&end_line=5105

import Base

# the states whose plain characters do not change the scanner
def read.fast.lex(
  lex: Lex,
  qkind: QKind,
  bad: String,
  rows: List<&2, Val>,
  heads: List<&2, String>,
  here: List<&2, String>,
  parts: List<&2, String>,
  buf: List<&2, Char>,
  back: Lex,
  stack: List<&2, Ctx>,
  uni: U32,
  left: U32,
  arrtab: Bool,
  +cc: Char
) -> St:
  match lex:
    case LStr{}:
      read.fast.str(qkind, bad, rows, heads, here, parts, buf, back, stack, uni, left,
        arrtab, cc)
    case LKey{}:
      read.fast.key(bare.at(cc), bad, rows, heads, here, parts, buf, back, qkind,
        stack, uni, left, arrtab, cc)
    case LBare{}:
      read.fast.bare(ch.delim(cc), bad, rows, heads, here, parts, buf, back, qkind,
        stack, uni, left, arrtab, cc)
    case LCom{}:
      read.fast.com(ch.ctl(cc), bad, rows, heads, here, parts, buf, back, qkind, stack,
        uni, left, arrtab, cc)
    case LTop{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), True{}, bad, rows, heads, here, parts, buf,
        LTop{}, back, qkind, stack, uni, left, arrtab, cc)
    case LArr{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), True{}, bad, rows, heads, here, parts, buf,
        LArr{}, back, qkind, stack, uni, left, arrtab, cc)
    case LArrC{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), True{}, bad, rows, heads, here, parts, buf,
        LArrC{}, back, qkind, stack, uni, left, arrtab, cc)
    case LLine{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LLine{}, back, qkind, stack, uni, left, arrtab, cc)
    case LVal{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LVal{}, back, qkind, stack, uni, left, arrtab, cc)
    case LAfter{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LAfter{}, back, qkind, stack, uni, left, arrtab, cc)
    case LInl{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LInl{}, back, qkind, stack, uni, left, arrtab, cc)
    case LInlK{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LInlK{}, back, qkind, stack, uni, left, arrtab, cc)
    case LInlC{}:
      read.fast.ws(ch.sp(cc), ch.nl(cc), False{}, bad, rows, heads, here, parts, buf,
        LInlC{}, back, qkind, stack, uni, left, arrtab, cc)
    case other:
      read.fast.old(bad, rows, heads, here, parts, buf, other, back, qkind, stack,
        uni, left, arrtab, cc)

Uses (21):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Ctx
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Lex
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=QKind
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=bare.at
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=ch.ctl
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=ch.delim
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=ch.nl
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=ch.sp
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.bare
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.com
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.key
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.old
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.str
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=read.fast.ws