Îõ³h*ŠÉ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGH0.5.2.0 Safe-Inferred box-socketÁWhether a socket remains open or closed after an action finishes. box-socketÔWhether to stay open after an emitter ends or send a close after a delay in seconds. Safe-Inferred"  box-socketAn active TCP environment box-socketTCP configurationdefaultTCPConfigåTCPConfig {hostPreference = HostAny, host = "127.0.0.1", port = "3566", chunk = 2048, endLine = "\n"} box-socketdefault box-socketconnect an action (ie a client) box-socketserve an action (ie a server) box-socketCommit received ByteStrings. box-socketSend emitted ByteStrings. box-socketA two-way connection. box-socketA I action for a client.  box-socket A client J.! box-socketA I action for a server." box-socket A server J.# box-socketÄA receiver that applies a response function to received ByteStrings. !"# !"# Safe-Inferred"‘' box-socket9A server that only sends and a client that only receives.òThe result here is indeterminate: it can return ["ab"] or ["a","b"] depending on when the client and servers fire. senderExample ["a","b"] "ab"( box-socket9A server that only sends and a client that only receives.senderLinesExample ["a","b"] ["a","b"]) box-socketecho server exampleechoExample ["a","b","c"] ["echo: abc"]* box-socket2"q" to close the client, reads and writes from stdclientIOÙ*** Exception: Network.Socket.connect: : does not exist (Connection refused)+ box-socketÙ"q" to close a client socket down. Ctrl-c to close the server. Reads and writes from std.a <- async serverIOserverIOÊ*** Exception: Network.Socket.bind: resource busy (Address already in use)cancel a'()*+'()*+ Safe-Inferred" û, box-socketSocket configurationdefaultSocketConfig:SocketConfig {host = "127.0.0.1", port = 9160, path = "/"}1 box-socketofficial default2 box-socketconnect an action (ie a client)3 box-socketserve an action (ie a server)4 box-socketAttach a box to a K in wai-style.5 box-socketGiven a K , provide a L continuation.6 box-socket4Commit received messages, finalising on receiving a M7 box-socket4Commit received messages, finalising on receiving a M, with event logging.8 box-socketÇSend emitted messages, returning whether the socket remained open (the N ran out of emits) or closed (a M was received).9 box-socketÇSend emitted messages, returning whether the socket remained open (the N ran out of emits) or closed (a M# was received). With event logging.: box-socket.A two-way connection. Closes if it receives a M exception, or if  is .; box-socket.A two-way connection. Closes if it receives a M exception, or if  is . With event logging.< box-socketA I action for a client.= box-socket A client J.> box-socketA I action for a server.? box-socket A server J.@ box-socketÁA receiver that applies a response function to received messages.,-0./123546789:;<=>?@,-0./123546789:;<=>?@ Safe-Inferred"|D box-socket9A server that only sends and a client that only receives.senderExample ["a","b"] ["a","b"]E box-socketecho server exampleechoExample ["a","b","c"]["echo: a","echo: b","echo: c"]F box-socket(echo server example, with event logging.ÃThe order of events is non-deterministic, so this is a rough guide: echoLogExample ["a","b","c"]§(["echo: a","echo: b","echo: c"],["client:sender_:emit:Just "a"","client:sender_:sendTextData:Right ()","client:sender_:emit:Just "b"","client:sender_:sendTextData:Right ()","client:sender_:emit:Just "c"","client:sender_:sendTextData:Right ()","client:sender_:emit:Nothing","client:sender_ closed with SocketOpen","server:receiver_:receiveData:Right "a"","server:receiver_:receiveData:Right "b"","server:receiver_:receiveData:Right "c"","server:sender_:emit:Just "echo: a"","server:sender_:sendTextData:Right ()","server:sender_:emit:Just "echo: b"","server:sender_:sendTextData:Right ()","server:sender_:emit:Just "echo: c"","server:sender_:sendTextData:Right ()","client:receiver_:receiveData:Right "echo: a"","client:receiver_:receiveData:Right "echo: b"","client:receiver_:receiveData:Right "echo: c"","server:receiver_:receiveData:Left (CloseRequest 1000 "close after sending")","server:receiver_ closed","client:receiver_:receiveData:Left (CloseRequest 1000 "close after sending")","client:receiver_ closed","client:duplex_ closed","server:duplex_ closed"])G box-socket2"q" to close the client, reads and writes from stdclientIOÙ*** Exception: Network.Socket.connect: : does not exist (Connection refused)H box-socketÙ"q" to close a client socket down. Ctrl-c to close the server. Reads and writes from std.a <- async serverIOserverIOÊ*** Exception: Network.Socket.bind: resource busy (Address already in use)cancel aDEFGHDEFGHÏ      !"#$%&'()*+,-./0123345!"67#8$9%:&'()*;<=.0>12?@A?@BCDECDFCGH?IJË)box-socket-0.5.2.0-K9IiQ5Ow5TjGguSum6jrFtBox.TCPBox.Socket.TypesBox.TCP.Example Box.WebsocketBox.Websocket.Example box-socket&network-3.2.4.0-FrNGVkhOaDX4l8qujQgdxjNetwork.Socket.TypesSocket SocketStatus SocketOpen SocketClosed SocketBrokenPostSendStayOpen CloseAfter$fGenericSocketStatus$fEqSocketStatus$fShowSocketStatus$fGenericPostSend $fEqPostSend$fShowPostSendTCPEnvsocketsockaddr TCPConfighostPreferencehostportchunkendLinedefaultTCPConfigconnectservereceiversenderduplex clientBox clientCoBox serverBox serverCoBoxresponseServer$fShowTCPConfig $fEqTCPConfig$fGenericTCPConfig senderExamplesenderLinesExample echoExampleclientIOserverIO SocketConfigpathdefaultSocketConfig serverApppending receiver_sender_duplex_$fShowSocketConfig$fEqSocketConfig$fGenericSocketConfigechoLogExample"box-0.9.3.2-HsSGcCOWRJPBMftJSQmtXCBox.BoxBoxCoBox*websockets-0.13.0.0-8MADAsoM0h3JlRxl5dBvZvNetwork.WebSockets.ConnectionPendingConnection ConnectionNetwork.WebSockets.Types CloseRequest Box.EmitterEmitter