source
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

Instances For

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

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

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

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

Instances For

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

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

source
def Std.Internal.UV.System.instInhabitedRUsage.default :
RUsage
Equations

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

Instances For

source
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

Instances For

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

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

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

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

Instances For

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

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

source
def Std.Internal.UV.System.instInhabitedCPUTimes.default :
CPUTimes
Equations

- Std.Internal.UV.System.instInhabitedCPUTimes.default = { user := default, nice := default, sys := default, idle := default, irq := default }

Instances For

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

Information about a single CPU core.

- model : String
- speed : UInt64
- times : CPUTimes

Instances For

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

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

Instances For

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

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

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

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

source
def Std.Internal.UV.System.instInhabitedCPUInfo.default :
CPUInfo
Equations

- Std.Internal.UV.System.instInhabitedCPUInfo.default = { model := default, speed := default, times := default }

Instances For

source
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

Instances For

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

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

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

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

Instances For

source
def Std.Internal.UV.System.instInhabitedPasswdInfo.default :
PasswdInfo
Equations

- Std.Internal.UV.System.instInhabitedPasswdInfo.default = { username := default, uid := default, gid := default, shell := default, homedir := default }

Instances For

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

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

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

Information about the current group,

- groupname : String
- gid : UInt64
- members : Array String

Instances For

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

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

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

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

Instances For

source
def Std.Internal.UV.System.instInhabitedGroupInfo.default :
GroupInfo
Equations

- Std.Internal.UV.System.instInhabitedGroupInfo.default = { groupname := default, gid := default, members := default }

Instances For

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

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

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

Information about the OS.

- sysname : String
- release : String
- version : String
- machine : String

Instances For

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

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

Instances For

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

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

source
def Std.Internal.UV.System.instInhabitedUnameInfo.default :
UnameInfo
Equations

- Std.Internal.UV.System.instInhabitedUnameInfo.default = { sysname := default, release := default, version := default, machine := default }

Instances For

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

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

source
@[extern lean_uv_get_process_title]
opaque Std.Internal.UV.System.getProcessTitle :
IO String

Gets the title of the current process.

source
@[extern lean_uv_set_process_title]
opaque Std.Internal.UV.System.setProcessTitle :
String → IO Unit

Sets the title of the current process.

source
@[extern lean_uv_uptime]
opaque Std.Internal.UV.System.uptime :
IO UInt64

Gets the system uptime in seconds.

source
@[extern lean_uv_os_getpid]
opaque Std.Internal.UV.System.osGetPid :
IO UInt64

Gets the process ID of the current process.

source
@[extern lean_uv_os_getppid]
opaque Std.Internal.UV.System.osGetPpid :
IO UInt64

Gets the parent process ID of the current process.

source
@[extern lean_uv_cpu_info]
opaque Std.Internal.UV.System.cpuInfo :
IO (Array CPUInfo)

Gets information about the system's CPUs.

source
@[extern lean_uv_cwd]
opaque Std.Internal.UV.System.cwd :
IO String

Gets the current working directory.

source
@[extern lean_uv_chdir]
opaque Std.Internal.UV.System.chdir :
String → IO Unit

Changes the current working directory.

source
@[extern lean_uv_os_homedir]
opaque Std.Internal.UV.System.osHomedir :
IO String

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

source
@[extern lean_uv_os_tmpdir]
opaque Std.Internal.UV.System.osTmpdir :
IO String

Gets the path to the temporary directory.

source
@[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.

source
@[extern lean_uv_os_get_group]
opaque Std.Internal.UV.System.osGetGroup :
UInt64 → IO (Option GroupInfo)

Gets information about the current user's group.

source
@[extern lean_uv_os_environ]
opaque Std.Internal.UV.System.osEnviron :
IO (Array (String × String))

Gets all environment variables.

source
@[extern lean_uv_os_getenv]
opaque Std.Internal.UV.System.osGetenv :
String → IO (Option String)

Gets the value of an environment variable.

source
@[extern lean_uv_os_setenv]
opaque Std.Internal.UV.System.osSetenv :
String → String → IO Unit

Sets the value of an environment variable.

source
@[extern lean_uv_os_unsetenv]
opaque Std.Internal.UV.System.osUnsetenv :
String → IO Unit

Unsets an environment variable.

source
@[extern lean_uv_os_gethostname]
opaque Std.Internal.UV.System.osGetHostname :
IO String

Gets the hostname of the machine.

source
@[extern lean_uv_os_getpriority]
opaque Std.Internal.UV.System.osGetPriority :
UInt64 → IO Int64

Gets the scheduling priority of a process.

source
@[extern lean_uv_os_setpriority]
opaque Std.Internal.UV.System.osSetPriority :
UInt64 → Int64 → IO Unit

Sets the scheduling priority of a process.

source
@[extern lean_uv_os_uname]
opaque Std.Internal.UV.System.osUname :
IO UnameInfo

Gets information about the operating system.

source
@[extern lean_uv_hrtime]
opaque Std.Internal.UV.System.hrtime :
IO UInt64

Gets the current high-resolution time in nanoseconds.

source
@[extern lean_uv_random]
opaque Std.Internal.UV.System.random :
UInt64 → IO (IO.Promise (Except IO.Error ByteArray))

Generates cryptographically secure random bytes.

source
@[extern lean_uv_getrusage]
opaque Std.Internal.UV.System.getrusage :
IO RUsage

Retrieves resource usage statistics.

source
@[extern lean_uv_exepath]
opaque Std.Internal.UV.System.exePath :
IO String

Returns the absolute path of the current executable.

source
@[extern lean_uv_get_free_memory]
opaque Std.Internal.UV.System.freeMemory :
IO UInt64

Returns the amount of free system memory in bytes.

source
@[extern lean_uv_get_total_memory]
opaque Std.Internal.UV.System.totalMemory :
IO UInt64

Returns the total system memory in bytes.

source
@[extern lean_uv_get_constrained_memory]
opaque Std.Internal.UV.System.constrainedMemory :
IO UInt64

Returns the constrained memory limit in bytes.

source
@[extern lean_uv_get_available_memory]
opaque Std.Internal.UV.System.availableMemory :
IO UInt64

Returns the available memory for allocation in bytes.