def Ws.frame

bend-kube-runtime@0.2.0.0 · src/ws.bend:86

import Base

86# One final frame of op carrying data, masked with key.
87def Ws.frame(+op: U32, +data: List<&2, U32>, +key: U32) -> List<&2, U32>:
88  List.append(&2, U32,
89    Con{U32.or(128, op), Ws.len(U32.from_nat(List.length(&2, U32, data)))},
90    Con{Ws.byte(key, 3n), Con{Ws.byte(key, 2n), Con{Ws.byte(key, 1n), Con{Ws.byte(key, 0n),
91      Ws.mask(data, Ws.byte(key, 3n), Ws.byte(key, 2n), Ws.byte(key, 1n), Ws.byte(key, 0n))}}}})