~/jendhub

def wide_in

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

import bolt@1.27.0.0/src/lsp/enc.bend as Enc
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

123# does a line hold a char past U+FFFF? Stops at the first
124def wide_in(cs: List<&2, Char>) -> Bool:
125  match cs:
126    case Nil{}:
127      False{}
128    case Con{c, t}:
129      Lazy.or_else(wide(c), _u => wide_in(t))

Uses (5)

Used by (1)