Documentation

Lean.Util.ProfilerServer

Trace profiler HTTP server #

Serves a Firefox Profiler-compatible profile over HTTP on an ephemeral local port and open the corresponding https://profiler.firefox.com/from-url/... URL in the user's default browser, so the profile is loaded with a single command (a la samply).

source
def Lean.Firefox.Profile.serve (profile : String) :
IO Unit

Serve the JSON-encoded profile over HTTP on an ephemeral 127.0.0.1 port and open it in the user's default browser via https://profiler.firefox.com. Shuts down once the profile has been fetched (reloads inside the viewer are not supported); the user can also Ctrl+C as usual.

Equations
  • One or more equations did not get rendered due to their size.
Instances For