def encode.checked

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

366def encode.checked(err: Maybe<&1, U32 & String>, +fin: Bool, +op: U32, key: Maybe<&2, U32>, p: Bytes.Bytes) -> Result<&1, &1, U32 & String, Bytes.Bytes>:
367  match err:
368    case Some{e}:
369      Fail{e}
370    case None{}:
371      Done{encode.key(key, (Bool.pick(U32, fin, 128, 0) .|. op : U32), p)}