~/jendhub

def server.sent.un

emerging-ezhttp@0.21.0.0 · src/server.bend:167

import emerging-ezhttp@0.21.0.0/src/server.bend as Server
import Base
import emerging-ezhttp@0.21.0.0/src/step.bend as Step

167# after a send: the socket, or the line of a lost connection
168def server.sent.un(r: Socket & Result<&1, &1, U32 & String, Unit>)
169  -> IO(Socket & Step.Got<Unit>):
170  (sock, res) = r
171  IO.pure(Socket & Step.Got<Unit>, (sock, Step.step.got(Unit, "write", res)))

Uses (11)

Used by (1)