def reply.drain.of

bend-kit-http@0.38.5.0 · http.bend:5578

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

import Base

5578def reply.drain.of(m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> Socket & Bool:
5579  (s, r) = m
5580  match r:
5581    case Fail{e}:
5582      (s, False{})
5583    case Done{data}:
5584      (len, words) = data
5585      (s, Bool.not(U32.is_zero(len)))

Uses (10)

Used by (1)

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