~/jendhub

def code.cr

emerging-ezhttp@0.21.0.0 · src/unescape.bend:107

import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescape
import Base

107# 0x0D is a carriage return
108def code.cr(+n: U32, cr: Bool) -> String:
109  match cr:
110    case True{}:
111      "\r"
112    case False{}:
113      code.c1(n, Bool.and(U32.is_le(128, n), U32.is_le(n, 159)))

Uses (6)

Used by (1)