def Exec.input

bend-kube-runtime@0.2.0.0 · src/exec.bend:315

import bend-kube-runtime@0.2.0.0/src/exec.bend as Exec
import Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U
import bend-kube-runtime@0.2.0.0/src/ws.bend as W

315# The input, then the close of stdin, in one write.
316def Exec.input(+text: String, +k: U32) -> List<&2, U32>:
317  List.append(&2, U32, W.Ws.frame(W.Ws.binary(), Con{0, U.Utf8.encode(text)}, k),
318    W.Ws.frame(W.Ws.binary(), [255, 0], U32.xor(k, 1515870810)))

Uses (8)

Used by (1)