def into.col

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

import Base

188# a column of a line's chars read in an encoding, as a code-point column
189def into.col(ee: Enc, cs: List<&2, Char>, col: U32) -> U32:
190  match ee:
191    case Utf16{}:
192      U32.from_nat(into.of(Utf16{}, cs, U32.to_nat(col)))
193    case Utf32{}:
194      col