Wrap.check.apply_on: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 526-573 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=526&end_line=573

import Base

# the token's motion applied to fields already taken off the walk
def check.apply_on(
  motion: Act,
  mode: Phase,
  paren: U32,
  bracket: U32,
  brace: U32,
  angle: U32,
  +shut: Span,
  open: U32,
  on: Bool,
  pline: U32,
  pend: U32,
  pcol: U32,
  spans: List<&2, Span>,
  +ln: U32,
  cl: U32,
  ticks: Nat
) -> Walk:
  match motion:
    case AOpen{}:
      check.opened(ticks, bracket, brace, angle, spans, ln, mode, paren, shut, open, on, pline, pend, pcol)
    case AParen{}:
      check.rebuild(ticks, mode, (paren + 1 : U32), bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case AEnd{}:
      check.ended(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans, ln, cl)
    case AUnparen{}:
      check.rebuild(ticks, mode, check.dec_u(paren), bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case ABrack{}:
      check.rebuild(ticks, mode, paren, (bracket + 1 : U32), brace, angle, shut, open, on, pline, pend, pcol, spans)
    case AUnbrack{}:
      check.rebuild(ticks, mode, paren, check.dec_u(bracket), brace, angle, shut, open, on, pline, pend, pcol, spans)
    case ABrace{}:
      check.rebuild(ticks, mode, paren, bracket, (brace + 1 : U32), angle, shut, open, on, pline, pend, pcol, spans)
    case AUnbrace{}:
      check.rebuild(ticks, mode, paren, bracket, check.dec_u(brace), angle, shut, open, on, pline, pend, pcol, spans)
    case AAngle{}:
      check.rebuild(ticks, mode, paren, bracket, brace, (angle + 1 : U32), shut, open, on, pline, pend, pcol, spans)
    case AUnangle{}:
      check.unangled(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case AComma{}:
      check.commaed(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case AArrow{}:
      check.rebuild(ticks, check.turn(ln, shut), paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case AStray{}:
      check.rebuild(ticks, Loose{}, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
    case ANone{}:
      check.rebuild(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)

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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Act
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.commaed
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.dec_u
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.ended
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.opened
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.rebuild
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.turn
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.unangled