Std.Ui.Desktop.pump

fn

This is a callable function.

What it does

Pump platform events for at most milliseconds.

true reports that the person requested the window to close. The caller

still closes the session, which keeps destruction ordered and testable.

Read the signature

• The text after the name is the type checked by Pudu.
• Read arrows from left to right: inputs come first, and the final type is returned.
• & borrows a value for this call instead of moving or copying it.
• Names inside [ ] are type arguments, such as the item type held by a collection.
• Result makes success and recoverable failure part of the function's type.