def visible

bend-kit-websocket@0.4.0.0 · websocket.bend:80

import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
import Base

80# Every char is visible ASCII (0x21-0x7E): no space, CR, LF, or other control.
81def visible(s: String) -> Bool:
82  match s:
83    case SNil{}:
84      True{}
85    case SCon{Chr{+c}, t}:
86      Bool.and(Bool.and(U32.is_ge(c, 33), U32.is_le(c, 126)), visible(t))

Uses (6)

Used by (1)