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
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)