def end.mark

yaml-for-bend@0.1.1.0 · scan.bend:1418

import yaml-for-bend@0.1.1.0/scan.bend as Scan
import Base
import yaml-for-bend@0.1.1.0/token.bend as T

1418# The stream ends on a line of its own.
1419def end.mark(m: T.Mark) -> T.Mark:
1420  match m:
1421    case T.Mark{+line, +col, +idx}:
1422      Bool.pick(T.Mark, Nat.is_eq(col, 0n), T.Mark{line, col, idx}, T.Mark{1n+line, 0n, idx})

Uses (4)

Used by (1)