def reply.drain.of

bend-kit-http@0.38.2.0 · http.bend:5586

import bend-kit-http@0.38.2.0/http.bend as Http

import Base

5586def reply.drain.of(m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> Socket & Bool:
5587  (s, r) = m
5588  match r:
5589    case Fail{e}:
5590      (s, False{})
5591    case Done{data}:
5592      (len, words) = data
5593      (s, Bool.not(U32.is_zero(len)))

Uses (10)

Used by (1)

bend-kit-http@0.38.2.0/http:reply.drain