12.1.10 More Port Constructors, Procedures, and Events
12.1.10.1 Port String and List Conversions
procedure
(port->list [r in]) → (listof any/c)
r : (input-port? . -> . any/c) = read in : input-port? = (current-input-port)
Examples: | ||||||||||
|
procedure
(port->string [in]) → string?
in : input-port? = (current-input-port)
Example: | ||
|
procedure
(port->bytes [in]) → bytes?
in : input-port? = (current-input-port)
Example: | ||
|
procedure
(port->lines [in #:line-mode line-mode]) → (listof string?)
in : input-port? = (current-input-port)
line-mode : (or/c 'linefeed 'return 'return-linefeed 'any 'any-one) = 'any
Example: | ||||
|
procedure
(port->bytes-lines [ in #:line-mode line-mode]) → (listof bytes?) in : input-port? = (current-input-port)
line-mode : (or/c 'linefeed 'return 'return-linefeed 'any 'any-one) = 'any
Example: | ||||
|
procedure
(display-lines lst [ out #:separator separator]) → void? lst : list? out : output-port? = (current-output-port) separator : any/c = #"\n"
procedure
(call-with-output-string proc) → string?
proc : (output-port? . -> . any)
The port passed to proc is like the one created by open-output-string, except that it is wrapped via dup-output-port, so that proc cannot access the port’s content using get-output-string. If control jumps back into proc, the port continues to accumulate new data, and call-with-output-string returns both the old data and newly accumulated data.
procedure
(call-with-output-bytes proc) → bytes?
proc : (output-port? . -> . any)
procedure
(with-output-to-string proc) → string?
proc : (-> any)
(call-with-output-string (lambda (p) (parameterize ([current-output-port p]) (proc))))
procedure
(with-output-to-bytes proc) → bytes?
proc : (-> any)
(call-with-output-bytes (lambda (p) (parameterize ([current-output-port p]) (proc))))
procedure
(call-with-input-string str proc) → any
str : string? proc : (input-port? . -> . any)
procedure
(call-with-input-bytes bstr proc) → any
bstr : bytes? proc : (input-port? . -> . any)
procedure
(with-input-from-string str proc) → any
str : string? proc : (-> any)
(parameterize ([current-input-port (open-input-string str)]) (proc))
procedure
(with-input-from-bytes bstr proc) → any
bstr : bytes? proc : (-> any)
(parameterize ([current-input-port (open-input-bytes str)]) (proc))
12.1.10.2 Creating Ports
procedure
(input-port-append close-at-eof? in ...) → input-port?
close-at-eof? : any/c in : input-port?
See also merge-input, which interleaves data from multiple input ports as it becomes available.
procedure
(make-input-port/read-to-peek name read-in fast-peek close [ get-location count-lines! init-position buffer-mode buffering? on-consumed]) → input-port? name : any/c
read-in :
(bytes? . -> . (or/c exact-nonnegative-integer? eof-object? procedure? evt?))
fast-peek : close : (-> any)
get-location :
(or/c (-> (values (or/c exact-positive-integer? #f) (or/c exact-nonnegative-integer? #f) (or/c exact-positive-integer? #f))) #f) = #f count-lines! : (-> any) = void init-position : exact-positive-integer? = 1
buffer-mode :
(or/c (case-> ((or/c 'block 'none) . -> . any) (-> (or/c 'block 'none #f))) #f) = #f buffering? : any/c = #f
on-consumed :
(or/c ((or/c exact-nonnegative-integer? eof-object? procedure? evt?) . -> . any) #f) = #f
The read-in, close, get-location, count-lines!, init-position, and buffer-mode procedures are the same as for make-input-port.
The fast-peek argument can be either #f or a procedure of three arguments: a byte string to receive a peek, a skip count, and a procedure of two arguments. The fast-peek procedure can either implement the requested peek, or it can dispatch to its third argument to implement the peek. The fast-peek is not used when a peek request has an associated progress event.
The buffering? argument determines whether read-in can be called to read more characters than are immediately demanded by the user of the new port. If buffer-mode is not #f, then buffering? determines the initial buffer mode, and buffering? is enabled after a buffering change only if the new mode is 'block.
If on-consumed is not #f, it is called when data is read (or committed) from the port, as opposed to merely peeked. The argument to on-consumed is the result value of the port’s reading procedure, so it can be an integer or any result from read-in.
procedure
(make-limited-input-port in limit [ close-orig?]) → input-port? in : input-port? limit : exact-nonnegative-integer? close-orig? : any/c = #t
Bytes are consumed from in only when they are consumed from the returned port. In particular, peeking into the returned port peeks into the original port.
If in is used directly while the resulting port is also used, then the limit bytes provided by the port need not be contiguous parts of the original port’s stream.
procedure
(make-pipe-with-specials [ limit in-name out-name]) →
input-port? output-port? limit : exact-nonnegative-integer? = #f in-name : any/c = 'pipe out-name : any/c = 'pipe
The limit argument determines the maximum capacity of the pipe in bytes, but this limit is disabled if special values are written to the pipe before limit is reached. The limit is re-enabled after the special value is read from the pipe.
The optional in-name and out-name arguments determine the names of the result ports.
procedure
(merge-input a-in b-in [buffer-limit]) → input-port?
a-in : input-port? b-in : input-port? buffer-limit : (or/c exact-nonnegative-integer? #f) = 4096
The optional buffer-limit argument limits the number of bytes to be buffered from a-in and b-in, so that the merge process does not advance arbitrarily beyond the rate of consumption of the merged data. A #f value disables the limit. As for make-pipe-with-specials, buffer-limit does not apply when a special value is produced by one of the input ports before the limit is reached.
See also input-port-append, which concatenates input streams instead of interleaving them.
procedure
(open-output-nowhere [name special-ok?]) → output-port?
name : any/c = 'nowhere special-ok? : any/c = #t
procedure
(peeking-input-port in [ name skip #:init-position init-position]) → input-port in : input-port? name : any/c = (object-name in) skip : exact-nonnegative-integer? = 0 init-position : exact-positive-integer? = 1
The optional name argument is the name of the resulting port. The skip argument is the port initial skip count, and it defaults to 0.
The resulting port’s initial position (as reported by file-position) is (- init-position 1), no matter the position of in.
For example, when you read from a peeking port, you see the same answers as when you read from the original port.
Examples: | ||||||||||
|
But beware, the read from the original port is invisible to the peeking port, which keeps its own separate internal counter, and thus interleaving reads on the two ports can produce confusing results. Continuing the example before, if we read three more characters from the peeking port, we end up skipping over the 456 in the port.
Example: | ||
|
procedure
(reencode-input-port in encoding [ error-bytes close? name convert-newlines? enc-error]) → input-port? in : input-port? encoding : string? error-bytes : (or/c #f bytes?) = #f close? : any/c = #f name : any/c = (object-name in) convert-newlines? : any/c = #f
enc-error : (string? input-port? . -> . any) = (lambda (msg port) (error ...))
If error-bytes is provided and not #f, then the given byte sequence is used in place of bytes from in that trigger conversion errors. Otherwise, if a conversion is encountered, enc-error is called, which must raise an exception.
If close? is true, then closing the result input port also closes in. The name argument is used as the name of the result input port.
In non-buffered mode, the resulting input port attempts to draw bytes from in only as needed to satisfy requests. Toward that end, the input port assumes that at least n bytes must be read to satisfy a request for n bytes. (This is true even if the port has already drawn some bytes, as long as those bytes form an incomplete encoding sequence.)
procedure
(reencode-output-port out encoding [ error-bytes close? name newline-bytes enc-error]) → output-port? out : output-port? encoding : string? error-bytes : (or/c #f bytes?) = #f close? : any/c = #f name : any/c = (object-name out) newline-bytes : (or/c #f bytes?) = #f
enc-error : (string? output-port? . -> . any) = (lambda (msg port) (error ...))
If error-bytes is provided and not #f, then the given byte sequence is used in place of bytes that have been sent to the output port and that trigger conversion errors. Otherwise, enc-error is called, which must raise an exception.
If close? is true, then closing the result output port also closes out. The name argument is used as the name of the result output port.
The resulting port supports buffering, and the initial buffer mode is (or (file-stream-buffer-mode out) 'block). In 'block mode, the port’s buffer is flushed only when it is full or a flush is requested explicitly. In 'line mode, the buffer is flushed whenever a newline or carriage-return byte is written to the port. In 'none mode, the port’s buffer is flushed after every write. Implicit flushes for 'line or 'none leave bytes in the buffer when they are part of an incomplete encoding sequence.
The resulting output port does not support atomic writes. An explicit flush or special-write to the output port can hang if the most recently written bytes form an incomplete encoding sequence.
procedure
(dup-input-port in [close?]) → input-port?
in : input-port? close? : any/c = #f
The new port is initialized with the port read handler of in, but setting the handler on the result port does not affect reading directly from in.
procedure
(dup-output-port out [close?]) → output-port?
out : output-port? close? : any/c = #f
The new port is initialized with the port display handler and port write handler of out, but setting the handlers on the result port does not affect writing directly to out.
procedure
(relocate-input-port in line column position [ close?]) → input-port? in : input-port? line : (or/c exact-positive-integer? #f) column : (or/c exact-nonnegative-integer? #f) position : exact-positive-integer? close? : any/c = #t
The line and column values are used only if line counting is enabled for in and for the resulting port, typically through port-count-lines!. The column value determines the column for the first line (i.e., the one numbered line), and later lines start at column 0. The given position is used even if line counting is not enabled.
When line counting is on for the resulting port, reading from in instead of the resulting port increments location reports from the resulting port. Otherwise, the resulting port’s position does not increment when data is read from in.
If close? is true, then closing the resulting port also closes in. If close? is #f, then closing the resulting port does not close in.
procedure
(relocate-output-port out line column position [ close?]) → output-port? out : output-port? line : (or/c exact-positive-integer? #f) column : (or/c exact-nonnegative-integer? #f) position : exact-positive-integer? close? : any/c = #t
procedure
(transplant-input-port in get-location init-pos [ close? count-lines!]) → input-port? in : input-port?
get-location :
(or/c (-> (values (or/c exact-positive-integer? #f) (or/c exact-nonnegative-integer? #f) (or/c exact-positive-integer? #f))) #f) init-pos : exact-positive-integer? close? : any/c = #t count-lines! : (-> any) = void
If count-lines! is supplied, it is called when line counting is enabled for the resulting port. The default is void.
procedure
(transplant-output-port out get-location init-pos [ close? count-lines!]) → output-port? out : output-port?
get-location :
(or/c (-> (values (or/c exact-positive-integer? #f) (or/c exact-nonnegative-integer? #f) (or/c exact-positive-integer? #f))) #f) init-pos : exact-positive-integer? close? : any/c = #t count-lines! : (-> any) = void
procedure
(filter-read-input-port in read-wrap peek-wrap [ close?]) → input-port? in : input-port?
read-wrap :
(bytes? (or/c exact-nonnegative-integer? eof-object? procedure? evt?) . -> . (or/c exact-nonnegative-integer? eof-object? procedure? evt?))
peek-wrap :
(bytes? exact-nonnegative-integer? (or/c evt? #f) (or/c exact-nonnegative-integer? eof-object? procedure? evt? #f) . -> . (or/c exact-nonnegative-integer? eof-object? procedure? evt? #f)) close? : any/c = #t
If close? is true, then closing the resulting port also closes in.
procedure
(special-filter-input-port in proc [close?]) → input-port?
in : input-port?
proc :
(procedure? bytes? . -> . (or/c exact-nonnegative-integer? eof-object? procedure? evt?)) close? : any/c = #t
If close? is true, then closing the resulting input port also closes in.
12.1.10.3 Port Events
procedure
in : input-port?
procedure
(read-bytes-evt k in) → evt?
k : exact-nonnegative-integer? in : input-port?
Bytes are read from the port if and only if the event is chosen in a synchronization, and the returned bytes always represent contiguous bytes in the port’s stream.
The event can be synchronized multiple times—
The in must support progress events, and it must not produce a special non-byte value during the read attempt.
procedure
(read-bytes!-evt bstr in progress-evt) → evt?
bstr : (and/c bytes? (not/c immutable?)) in : input-port? progress-evt : (or/c progress-evt? #f)
The bstr may be mutated any time after the first synchronization attempt on the event and until either the event is selected, a non-#f progress-evt is ready, or the current custodian (at the time of synchronization) is shut down. Note that there is no time bound otherwise on when bstr might be mutated if the event is not selected by a synchronzation; nevertheless, multiple synchronization attempts can use the same result from read-bytes!-evt as long as there is no intervening read on in until one of the synchronization attempts selects the event.
procedure
(read-bytes-avail!-evt bstr in) → evt?
bstr : (and/c bytes? (not/c immutable?)) in : input-port?
procedure
(read-string-evt k in) → evt?
k : exact-nonnegative-integer? in : input-port?
procedure
(read-string!-evt str in) → evt?
str : (and/c string? (not/c immutable?)) in : input-port?
procedure
(read-line-evt in mode) → evt?
in : input-port? mode : (or/c 'linefeed 'return 'return-linefeed 'any 'any-one)
A line is read from the port if and only if the event is chosen in a synchronization, and the returned line always represents contiguous bytes in the port’s stream.
procedure
(read-bytes-line-evt in mode) → evt?
in : input-port? mode : (or/c 'linefeed 'return 'return-linefeed 'any 'any-one)
procedure
(peek-bytes-evt k skip progress-evt in) → evt?
k : exact-nonnegative-integer? skip : exact-nonnegative-integer? progress-evt : (or/c progress-evt? #f) in : input-port? (peek-bytes!-evt bstr skip progress-evt in) → evt? bstr : (and/c bytes? (not/c immutable?)) skip : exact-nonnegative-integer? progress-evt : (or/c progress-evt? #f) in : input-port?
(peek-bytes-avail!-evt bstr skip progress-evt in) → evt? bstr : (and/c bytes? (not/c immutable?)) skip : exact-nonnegative-integer? progress-evt : (or/c progress-evt? #f) in : input-port? (peek-string-evt k skip progress-evt in) → evt? k : exact-nonnegative-integer? skip : exact-nonnegative-integer? progress-evt : (or/c progress-evt? #f) in : input-port? (peek-string!-evt str skip progress-evt in) → evt? str : (and/c string? (not/c immutable?)) skip : exact-nonnegative-integer? progress-evt : (or/c progress-evt? #f) in : input-port?
procedure
(regexp-match-evt pattern in) → any
pattern : (or/c string? bytes? regexp? byte-regexp?) in : input-port?
If pattern does not require a start-of-stream match, then bytes skipped to complete the match are read and discarded when the event is chosen in a synchronization.
Bytes are read from the port if and only if the event is chosen in a synchronization, and the returned match always represents contiguous bytes in the port’s stream. If not-yet-available bytes from the port might contribute to the match, the event is not ready. Similarly, if pattern begins with a start-of-stream ^ and the pattern does not initially match, then the event cannot become ready until bytes have been read from the port.
The event can be synchronized multiple times—
The in port must support progress events. If in returns a special non-byte value during the match attempt, it is treated like eof.
12.1.10.4 Copying Streams
procedure
(convert-stream from-encoding in to-encoding out) → void? from-encoding : string? in : input-port? to-encoding : string? out : output-port?
If opening the converter fails, the exn:fail exception is raised. Similarly, if a conversion error occurs at any point while reading from in, then exn:fail exception is raised.
procedure
in : input-port? out : output-port?
This function is often called from a “background” thread to continuously pump data from one stream to another.
If multiple outs are provided, case data from in is written to every out. The different outs block output to each other, because each block of data read from in is written completely to one out before moving to the next out. The outs are written in the provided order, so non-blocking ports (e.g., file output ports) should be placed first in the argument list.