def feed.data

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

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

686def feed.data(p: Partial, +fin: Bool, +op: U32, d: Bytes.Bytes, +max: U32) -> Result<&1, &1, U32 & String, Partial & Msg>:
687  match p:
688    case Idle{}:
689      match op:
690        case 0:
691          Fail{(1002, "continuation frame without a message")}
692        case +o:
693          feed.more(fin, o, d)
694    case Open{+o, acc}:
695      match op:
696        case 0:
697          feed.join(fin, o, Bytes.append(acc, d), max)
698        case _:
699          Fail{(1002, "data frame inside a fragmented message")}