InputPort

class defined at curl/kernel/net.curl:16
Buffered input.

InputPort.Close

Closes the port.

{InputPort.ContentLength}:int

method defined at curl/kernel/net.curl:21
Returns the number of available characters.

{InputPort.ContentType}:symbol

method defined at curl/kernel/net.curl:22
Returns the MIME type of the port.

{InputPort.PeekCh}:int

method defined at curl/kernel/net.curl:19
Peeks a character and returns its integer value or -1 on end of file. Does not advance input pointer.

{InputPort.ReadCh}:int

method defined at curl/kernel/net.curl:18
Reads a character and returns its integer value or -1 on end of file.

{InputPort.ReadText t:text n:int}:int

method defined at curl/kernel/net.curl:20
Reads {param n} characters into {param t}. Returns -1 if there were not enough chars to read.