~/jendhub

def err.ctl

ezsys@0.1.0.0 · src/errno.bend:122

import ezsys@0.1.0.0/src/errno.bend as Errno
import Base

122# a control character: \t, \n, \r, or \xhh
123def err.ctl(+cp: U32) -> String:
124  err.when(U32.is_eq(cp, 9), _u => "\\t",
125    _u => err.when(U32.is_eq(cp, 10), _v => "\\n",
126      _v => err.when(U32.is_eq(cp, 13), _w => "\\r",
127        _w => "\\x" ++ err.hex2(cp))))

Uses (6)

Used by (1)