structure Std.Internal.UV.Loop.Options : Type

Options for configuring the event loop behavior.

• accumulateIdleTime : Bool

  Accumulate the amount of idle time the event loop spends in the event provider.

• blockSigProfSignal : Bool

  Block a SIGPROF signal when polling for new events. It's commonly used for unnecessary wakeups when using a sampling profiler.

@[extern lean_uv_event_loop_configure]

opaque Std.Internal.UV.Loop.configure (options : Options) : BaseIO Unit

Configures the event loop with the specified options.

@[extern lean_uv_event_loop_alive]

opaque Std.Internal.UV.Loop.alive : BaseIO Bool

Checks if the event loop is still active and processing events.