def writer.finish.known

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

import Base
import bend-kit-http@0.38.5.0/completion.bend as Completion

6830def writer.finish.known(complete: Bool, s: Socket) -> IO(Maybe<&1, Socket> & Completion.Outcome):
6831  match complete:
6832    case True{}:
6833      IO.pure(Maybe<&1, Socket> & Completion.Outcome, (Some{s}, Completion.HostAccepted{}))
6834    case False{}:
6835      do IO<Maybe<&1, Socket> & Completion.Outcome>:
6836        Socket.close(s)
6837        return (None{}, Completion.IncompleteResponse{})