Idris2Doc : RacketTCP

RacketTCP

(source)

Definitions

dataListener : Type
Totality: total
Visibility: export
dataInputPort : Type
Totality: total
Visibility: export
dataOutputPort : Type
Totality: total
Visibility: export
dataReadSyncEvt : Type
Totality: total
Visibility: export
dataEOF : Type
Totality: total
Visibility: public export
Constructor: 
MkEOF : EOF
dataCouldn'tConnect : Type
Totality: total
Visibility: public export
Constructor: 
MkCouldn'tConnect : Couldn'tConnect
dataCouldn'tSetUpTLS : Type
Totality: total
Visibility: public export
Constructor: 
MkCouldn'tSetUpTLS : Couldn'tSetUpTLS
dataWriteError : Type
Totality: total
Visibility: public export
Constructor: 
MkWriteError : WriteError
dataErrListen : Type
Totality: total
Visibility: public export
Constructor: 
MkListenErr : ErrListen
tcpListen : HasIOio=>Bits16->io (EitherErrListenListener)
Visibility: export
tcpAccept : HasIOio=>Listener->io (InputPort, OutputPort)
Visibility: export
portsToSslPorts : HasIOio=>InputPort->OutputPort->String->String->Buffer->io (EitherCouldn'tSetUpTLS (InputPort, OutputPort))
Visibility: export
tcpConnect : HasIOio=>String->Bits16->io (EitherCouldn'tConnect (InputPort, OutputPort))
Visibility: export
readBytesEvt : HasIOio=>Bits16->InputPort->ioReadSyncEvt
Visibility: export
readSync : HasIOio=>ReadSyncEvt->io (EitherEOFBuffer)
Visibility: export
writeBytes : HasIOio=>Buffer->OutputPort->io (EitherWriteErrorBits64)
Visibility: export