Module download 

download(…) and format_bytes(…) in compiled apps. A download call names the state each of its bindings is bound to as paths from a state, which the reports are written through later.

Structs

DownloadBinding

One binding of a download(…) call: the report field, and the state it goes to.

DownloadDesc

A download(…) call as compiled code builds it: the address, folder, name and list of headers, borrowed, its other settings, and len bindings at bindings.

Targets 🔒

Where a download’s reports go, and the span of its call, which errors writing them point at.

Functions

nf_download 🔒 ^⚠

Asks for the download desc describes once the current event finishes, and shows it has begun in the state it binds. Its reports later go to the same places.

nf_download_command 🔒 ^⚠

Asks the download whose id is id, borrowed, for command once the current event finishes.

nf_fail_download_into_variable 🔒 ^⚠

Fails a download with a binding to a variable rather than state.

nf_format_bytes 🔒

format_bytes(bytes): the size as text, owned by the caller.

Type Aliases

Request 🔒