~/jendhub

def close.run

bolt@1.27.0.0 · src/syntax/word.bend:30

import bolt@1.27.0.0/src/syntax/word.bend as Word
import Base

30# an empty run leaves the hit; otherwise the run if start <= col <= i
31def close.run(run: List<&2, Char>, +start: U32, +ii: U32, +col: U32, hit: Maybe<&2, String>) -> Maybe<&2, String>:
32  match run:
33    case Nil{}:
34      hit
35    case h <> t:
36      close.yes(Bool.and(U32.is_le(start, col), U32.is_le(col, ii)), h <> t, hit)

Uses (8)

Used by (1)