def check.apply_on

bolt@1.27.0.0 · src/rules/style/wrap.bend:526

import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base

526# the token's motion applied to fields already taken off the walk
527def check.apply_on(
528  motion: Act,
529  mode: Phase,
530  paren: U32,
531  bracket: U32,
532  brace: U32,
533  angle: U32,
534  +shut: Span,
535  open: U32,
536  on: Bool,
537  pline: U32,
538  pend: U32,
539  pcol: U32,
540  spans: List<&2, Span>,
541  +ln: U32,
542  cl: U32,
543  ticks: Nat
544) -> Walk:
545  match motion:
546    case AOpen{}:
547      check.opened(ticks, bracket, brace, angle, spans, ln, mode, paren, shut, open, on, pline, pend, pcol)
548    case AParen{}:
549      check.rebuild(ticks, mode, (paren + 1 : U32), bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
550    case AEnd{}:
551      check.ended(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans, ln, cl)
552    case AUnparen{}:
553      check.rebuild(ticks, mode, check.dec_u(paren), bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
554    case ABrack{}:
555      check.rebuild(ticks, mode, paren, (bracket + 1 : U32), brace, angle, shut, open, on, pline, pend, pcol, spans)
556    case AUnbrack{}:
557      check.rebuild(ticks, mode, paren, check.dec_u(bracket), brace, angle, shut, open, on, pline, pend, pcol, spans)
558    case ABrace{}:
559      check.rebuild(ticks, mode, paren, bracket, (brace + 1 : U32), angle, shut, open, on, pline, pend, pcol, spans)
560    case AUnbrace{}:
561      check.rebuild(ticks, mode, paren, bracket, check.dec_u(brace), angle, shut, open, on, pline, pend, pcol, spans)
562    case AAngle{}:
563      check.rebuild(ticks, mode, paren, bracket, brace, (angle + 1 : U32), shut, open, on, pline, pend, pcol, spans)
564    case AUnangle{}:
565      check.unangled(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
566    case AComma{}:
567      check.commaed(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
568    case AArrow{}:
569      check.rebuild(ticks, check.turn(ln, shut), paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
570    case AStray{}:
571      check.rebuild(ticks, Loose{}, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)
572    case ANone{}:
573      check.rebuild(ticks, mode, paren, bracket, brace, angle, shut, open, on, pline, pend, pcol, spans)

Uses (16)

Used by (1)