Idris2Doc : RacketTCP

RacketTCP

(source)

Definitions

data Listener : Type
Totality: total
Visibility: export
data InputPort : Type
Totality: total
Visibility: export
data OutputPort : Type
Totality: total
Visibility: export
data ReadSyncEvt : Type
Totality: total
Visibility: export
data EOF : Type
Totality: total
Visibility: public export
Constructor: 
MkEOF : EOF
data Couldn'tConnect : Type
Totality: total
Visibility: public export
Constructor: 
MkCouldn'tConnect : Couldn'tConnect
data Couldn'tSetUpTLS : Type
Totality: total
Visibility: public export
Constructor: 
MkCouldn'tSetUpTLS : Couldn'tSetUpTLS
data WriteError : Type
Totality: total
Visibility: public export
Constructor: 
MkWriteError : WriteError
data ErrListen : Type
Totality: total
Visibility: public export
Constructor: 
MkListenErr : ErrListen
tcpListen : HasIO io => Bits16 -> io (Either ErrListen Listener)
Visibility: export
tcpAccept : HasIO io => Listener -> io (InputPort, OutputPort)
Visibility: export
portsToSslPorts : HasIO io => InputPort -> OutputPort -> String -> String -> Buffer -> io (Either Couldn'tSetUpTLS (InputPort, OutputPort))
Visibility: export
tcpConnect : HasIO io => String -> Bits16 -> io (Either Couldn'tConnect (InputPort, OutputPort))
Visibility: export
readBytesEvt : HasIO io => Bits16 -> InputPort -> io ReadSyncEvt
Visibility: export
readSync : HasIO io => ReadSyncEvt -> io (Either EOF Buffer)
Visibility: export
writeBytes : HasIO io => Buffer -> OutputPort -> io (Either WriteError Bits64)
Visibility: export