def writer.finish.known

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

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

6838def writer.finish.known(complete: Bool, s: Socket) -> IO(Maybe<&1, Socket> & Completion.Outcome):
6839  match complete:
6840    case True{}:
6841      IO.pure(Maybe<&1, Socket> & Completion.Outcome, (Some{s}, Completion.HostAccepted{}))
6842    case False{}:
6843      do IO<Maybe<&1, Socket> & Completion.Outcome>:
6844        Socket.close(s)
6845        return (None{}, Completion.IncompleteResponse{})

Uses (11)

Used by (1)