Module functions 

The built-in functions and the arguments each one takes. The checker dispatches on Function::kind, and tools such as the language server read the same table.

Structs

Function

A built-in function such as download, called from functions and button actions.

Enums

FunctionKind

Which function a table entry is, for the checker to dispatch on.

Constants

CONNECTIONS

How many connections a download fetches its file over at once.

DEFAULT_CONNECTIONS

The number of connections a download opens unless its call asks for more.

DEFAULT_RETRIES

The retries a download makes unless its call asks for some.

DOWNLOAD

Saves a file from the web in the background, reporting into two bound states.

DOWNLOAD_ID_PARAM 🔒

FORMAT_BYTES

A size in bytes as text, such as 1.5 MB.

FROM

FROM_PARAM 🔒

FUNCTIONS

HEADERS

Headers a download sends with each request, each written Name: value.

NAME

The file name a save dialog suggests, or a download saves as.

OPEN_WINDOW

Opens a window by its name.

RETRIES

How many times in a row a download tries a connection again after a failure that may pass.

TITLE

The settings file dialogs share: the text shown above the files, the extensions allowed, and the folder they open in.

TITLE_PARAM 🔒

TYPES

TYPES_PARAM 🔒

WINDOW_PARAM 🔒

Functions

download_binding 🔒

The setting that binds field of a download’s reports.

download_bound_type 🔒

The type of state field of a download’s reports is written into.

download_command 🔒

The row of cancel_download and the other functions that ask something of a running download by its id.

function

The function called name, if it is built in.