Lex.tokens.hit: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/lex.bend as Lex
Lines 344-384 of emerging-ezjson@1.3.0.0/src/lex.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&start_line=344&end_line=384

import Base

def tokens.hit(
  +ch: Char,
  tail: String,
  cut: String,
  +nn: U32,
  mode: Span,
  toks: List<&2, Tok>,
  cls: Class,
  ctrl: Bool
) -> Scan:
  match mode cls ctrl:
    case GIdle{} CSpace{} b:
      Go{cut, nn, GIdle{}, toks}
    case GIdle{} CPunct{p} b:
      Go{cut, nn, GIdle{}, p <> toks}
    case GIdle{} CQuote{} b:
      Go{tail, 0, GStr{}, toks}
    case GIdle{} CBack{} b:
      Go{cut, nn, GBad{}, toks}
    case GIdle{} COther{} b:
      Go{SCon{ch, tail}, 1, GWord{}, toks}
    case GWord{} COther{} b:
      Go{cut, U32.add(nn, 1), GWord{}, toks}
    case GWord{} CPunct{p} b:
      Go{"", 0, GIdle{}, p <> tokens.push(cut, nn, True{}, toks)}
    case GWord{} CQuote{} b:
      Go{tail, 0, GStr{}, tokens.push(cut, nn, True{}, toks)}
    case GWord{} CBack{} b:
      Go{cut, nn, GBad{}, toks}
    case GWord{} k b:
      Go{"", 0, GIdle{}, tokens.push(cut, nn, True{}, toks)}
    case GStr{} k True{}:
      Go{cut, nn, GBad{}, toks}
    case GStr{} CQuote{} False{}:
      Go{"", 0, GIdle{}, tokens.push(cut, nn, False{}, toks)}
    case GStr{} CBack{} False{}:
      Old{feed('\\', Lex{Str{}, tokens.rev(cut, nn, U32.is_zero(nn), []), toks})}
    case GStr{} k False{}:
      Go{cut, U32.add(nn, 1), GStr{}, toks}
    case GBad{} k b:
      Go{cut, nn, GBad{}, toks}

Uses (16):
  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=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Class
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Lex
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=feed
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=tokens.push
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=tokens.rev