~/jendhub

def send.text

gralha-http-server@0.1.0.0 · server.bend:54

import gralha-http-server@0.1.0.0/server.bend as Server
import Base

54# Sends text as it is and closes the socket.
55def send.text(socket: Socket, text: String) -> IO(Unit):
56  do IO<Unit>:
57    sent : Socket & Result<&1, &1, (U32 & String) & List<&2, U32>, Unit> <- TCP.send(socket, text)
58    send.done(sent)

Uses (11)

Used by (1)