def out.col

bolt@1.27.0.0 · src/lsp/enc.bend:166

import Base

166# a code-point column of a line's chars, sent in an encoding
167def out.col(ee: Enc, cs: List<&2, Char>, col: U32) -> U32:
168  match ee:
169    case Utf16{}:
170      U32.from_nat(out.of(Utf16{}, cs, U32.to_nat(col)))
171    case Utf32{}:
172      col