structure Std.Internal.UV.System.RUsage : Type

Represents resource usage statistics for a process or thread. All time values are in milliseconds.

• userTime : UInt64
• systemTime : UInt64
• maxRSS : UInt64
• ixRSS : UInt64
• idRSS : UInt64
• isRSS : UInt64
• minFlt : UInt64
• majFlt : UInt64
• nSwap : UInt64
• inBlock : UInt64
• outBlock : UInt64
• msgSent : UInt64
• msgRecv : UInt64
• signals : UInt64
• voluntaryCS : UInt64
• involuntaryCS : UInt64

@[implicit_reducible]

instance Std.Internal.UV.System.instReprRUsage : Repr RUsage

Equations

• Std.Internal.UV.System.instReprRUsage = { reprPrec := Std.Internal.UV.System.instReprRUsage.repr }

def Std.Internal.UV.System.instReprRUsage.repr : RUsage → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedRUsage : Inhabited RUsage

Equations

• Std.Internal.UV.System.instInhabitedRUsage = { default := Std.Internal.UV.System.instInhabitedRUsage.default }

structure Std.Internal.UV.System.CPUTimes : Type

Represents the breakdown of CPU time usage in milliseconds.

• user : UInt64
• nice : UInt64
• sys : UInt64
• idle : UInt64
• irq : UInt64

@[implicit_reducible]

instance Std.Internal.UV.System.instReprCPUTimes : Repr CPUTimes

Equations

• Std.Internal.UV.System.instReprCPUTimes = { reprPrec := Std.Internal.UV.System.instReprCPUTimes.repr }

def Std.Internal.UV.System.instReprCPUTimes.repr : CPUTimes → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedCPUTimes : Inhabited CPUTimes

Equations

• Std.Internal.UV.System.instInhabitedCPUTimes = { default := Std.Internal.UV.System.instInhabitedCPUTimes.default }

structure Std.Internal.UV.System.CPUInfo : Type

Information about a single CPU core.

• model : String
• speed : UInt64
• times : CPUTimes

def Std.Internal.UV.System.instReprCPUInfo.repr : CPUInfo → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instReprCPUInfo : Repr CPUInfo

Equations

• Std.Internal.UV.System.instReprCPUInfo = { reprPrec := Std.Internal.UV.System.instReprCPUInfo.repr }

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedCPUInfo : Inhabited CPUInfo

Equations

• Std.Internal.UV.System.instInhabitedCPUInfo = { default := Std.Internal.UV.System.instInhabitedCPUInfo.default }

structure Std.Internal.UV.System.PasswdInfo : Type

Information about the current user.

• username : String
• uid : Option UInt64
• gid : Option UInt64
• shell : Option String
• homedir : Option String

def Std.Internal.UV.System.instReprPasswdInfo.repr : PasswdInfo → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instReprPasswdInfo : Repr PasswdInfo

Equations

• Std.Internal.UV.System.instReprPasswdInfo = { reprPrec := Std.Internal.UV.System.instReprPasswdInfo.repr }

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedPasswdInfo : Inhabited PasswdInfo

Equations

• Std.Internal.UV.System.instInhabitedPasswdInfo = { default := Std.Internal.UV.System.instInhabitedPasswdInfo.default }

structure Std.Internal.UV.System.GroupInfo : Type

Information about the current group,

• groupname : String
• gid : UInt64
• members : Array String

@[implicit_reducible]

instance Std.Internal.UV.System.instReprGroupInfo : Repr GroupInfo

Equations

• Std.Internal.UV.System.instReprGroupInfo = { reprPrec := Std.Internal.UV.System.instReprGroupInfo.repr }

def Std.Internal.UV.System.instReprGroupInfo.repr : GroupInfo → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedGroupInfo : Inhabited GroupInfo

Equations

• Std.Internal.UV.System.instInhabitedGroupInfo = { default := Std.Internal.UV.System.instInhabitedGroupInfo.default }

structure Std.Internal.UV.System.UnameInfo : Type

Information about the OS.

• sysname : String
• release : String
• version : String
• machine : String

@[implicit_reducible]

instance Std.Internal.UV.System.instReprUnameInfo : Repr UnameInfo

Equations

• Std.Internal.UV.System.instReprUnameInfo = { reprPrec := Std.Internal.UV.System.instReprUnameInfo.repr }

def Std.Internal.UV.System.instReprUnameInfo.repr : UnameInfo → Nat → Format

Equations

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

@[implicit_reducible]

instance Std.Internal.UV.System.instInhabitedUnameInfo : Inhabited UnameInfo

Equations

• Std.Internal.UV.System.instInhabitedUnameInfo = { default := Std.Internal.UV.System.instInhabitedUnameInfo.default }

@[extern lean_uv_get_process_title]

opaque Std.Internal.UV.System.getProcessTitle : IO String

Gets the title of the current process.

@[extern lean_uv_set_process_title]

opaque Std.Internal.UV.System.setProcessTitle : String → IO Unit

Sets the title of the current process.

@[extern lean_uv_uptime]

opaque Std.Internal.UV.System.uptime : IO UInt64

Gets the system uptime in seconds.

@[extern lean_uv_os_getpid]

opaque Std.Internal.UV.System.osGetPid : IO UInt64

Gets the process ID of the current process.

@[extern lean_uv_os_getppid]

opaque Std.Internal.UV.System.osGetPpid : IO UInt64

Gets the parent process ID of the current process.

@[extern lean_uv_cpu_info]

opaque Std.Internal.UV.System.cpuInfo : IO (Array CPUInfo)

Gets information about the system's CPUs.

@[extern lean_uv_cwd]

opaque Std.Internal.UV.System.cwd : IO String

Gets the current working directory.

@[extern lean_uv_chdir]

opaque Std.Internal.UV.System.chdir : String → IO Unit

Changes the current working directory.

@[extern lean_uv_os_homedir]

opaque Std.Internal.UV.System.osHomedir : IO String

Gets the path to the current user's home directory.

@[extern lean_uv_os_tmpdir]

opaque Std.Internal.UV.System.osTmpdir : IO String

Gets the path to the temporary directory.

@[extern lean_uv_os_get_passwd]

opaque Std.Internal.UV.System.osGetPasswd : IO PasswdInfo

Gets a subset of the password file entry for the current user.

@[extern lean_uv_os_get_group]

opaque Std.Internal.UV.System.osGetGroup : UInt64 → IO (Option GroupInfo)

Gets information about the current user's group.

@[extern lean_uv_os_environ]

opaque Std.Internal.UV.System.osEnviron : IO (Array (String × String))

Gets all environment variables.

@[extern lean_uv_os_getenv]

opaque Std.Internal.UV.System.osGetenv : String → IO (Option String)

Gets the value of an environment variable.

@[extern lean_uv_os_setenv]

opaque Std.Internal.UV.System.osSetenv : String → String → IO Unit

Sets the value of an environment variable.

@[extern lean_uv_os_unsetenv]

opaque Std.Internal.UV.System.osUnsetenv : String → IO Unit

Unsets an environment variable.

@[extern lean_uv_os_gethostname]

opaque Std.Internal.UV.System.osGetHostname : IO String

Gets the hostname of the machine.

@[extern lean_uv_os_getpriority]

opaque Std.Internal.UV.System.osGetPriority : UInt64 → IO Int64

Gets the scheduling priority of a process.

@[extern lean_uv_os_setpriority]

opaque Std.Internal.UV.System.osSetPriority : UInt64 → Int64 → IO Unit

Sets the scheduling priority of a process.

@[extern lean_uv_os_uname]

opaque Std.Internal.UV.System.osUname : IO UnameInfo

Gets information about the operating system.

@[extern lean_uv_hrtime]

opaque Std.Internal.UV.System.hrtime : IO UInt64

Gets the current high-resolution time in nanoseconds.

@[extern lean_uv_random]

opaque Std.Internal.UV.System.random : UInt64 → IO (IO.Promise (Except IO.Error ByteArray))

Generates cryptographically secure random bytes.

@[extern lean_uv_getrusage]

opaque Std.Internal.UV.System.getrusage : IO RUsage

Retrieves resource usage statistics.

@[extern lean_uv_exepath]

opaque Std.Internal.UV.System.exePath : IO String

Returns the absolute path of the current executable.

@[extern lean_uv_get_free_memory]

opaque Std.Internal.UV.System.freeMemory : IO UInt64

Returns the amount of free system memory in bytes.

@[extern lean_uv_get_total_memory]

opaque Std.Internal.UV.System.totalMemory : IO UInt64

Returns the total system memory in bytes.

@[extern lean_uv_get_constrained_memory]

opaque Std.Internal.UV.System.constrainedMemory : IO UInt64

Returns the constrained memory limit in bytes.

@[extern lean_uv_get_available_memory]

opaque Std.Internal.UV.System.availableMemory : IO UInt64

Returns the available memory for allocation in bytes.