Std.Ui.Desktop

9 public declarations

• close&Std.Ui.Desktop.Session -> Result[(), Std.Ui.Desktop.DesktopError]

  Release a desktop session. A second close is reported as `SessionClosed`.

  fn
• DesktopError

  Why a desktop session could not do what was requested.

  type
• open&Std.Ui.Desktop.WindowPlan -> Result[Std.Ui.Desktop.Session, Std.Ui.Desktop.DesktopError]

  Acquire a real platform window for this evaluation.

  fn
• planStr -> Int -> Int -> Bool -> Int -> Result[Std.Ui.Desktop.WindowPlan, Std.Ui.Desktop.DesktopError]

  A checked window plan with an explicit framebuffer budget.

  fn
• present&Std.Ui.Desktop.Session -> &Std.Ui.Canvas.Surface -> Result[(), Std.Ui.Desktop.DesktopError]

  Replace the pixels shown by a session with one exact Canvas surface.

  fn
• pump&Std.Ui.Desktop.Session -> Int -> Result[Bool, Std.Ui.Desktop.DesktopError]

  Pump platform events for at most `milliseconds`.

  fn
• Session

  One evaluation-owned connection to a real desktop window.

  type
• showFor&Std.Ui.Desktop.WindowPlan -> &Std.Ui.Canvas.Surface -> Int -> Result[Bool, Std.Ui.Desktop.DesktopError]

  Open, present, pump, and close a real window within a bounded interval.

  fn
• WindowPlan

  Everything decided before a native window resource is acquired.

  type