This module contains all system related functions and environment variables manipulation.

structure Std.Async.System.GroupId : Type

A group identifier, represented by a numeric ID in UNIX systems (e.g. 1000).

• toNat : Nat

  The numeric group ID.

@[implicit_reducible]

instance Std.Async.System.instInhabitedGroupId : Inhabited GroupId

def Std.Async.System.instDecidableEqGroupId.decEq (x✝ x✝¹ : GroupId) : Decidable (x✝ = x✝¹)

@[implicit_reducible]

instance Std.Async.System.instDecidableEqGroupId : DecidableEq GroupId

@[implicit_reducible]

instance Std.Async.System.instOrdGroupId : Ord GroupId

def Std.Async.System.instOrdGroupId.ord : GroupId → GroupId → Ordering

@[implicit_reducible]

instance Std.Async.System.instReprGroupId : Repr GroupId

structure Std.Async.System.UserId : Type

A user identifier, represented by a numeric ID in UNIX systems (e.g. 1001).

• toNat : Nat

  The numeric user ID.

@[implicit_reducible]

instance Std.Async.System.instInhabitedUserId : Inhabited UserId

def Std.Async.System.instDecidableEqUserId.decEq (x✝ x✝¹ : UserId) : Decidable (x✝ = x✝¹)

@[implicit_reducible]

instance Std.Async.System.instDecidableEqUserId : DecidableEq UserId

@[implicit_reducible]

instance Std.Async.System.instOrdUserId : Ord UserId

def Std.Async.System.instOrdUserId.ord : UserId → UserId → Ordering

@[implicit_reducible]

instance Std.Async.System.instReprUserId : Repr UserId

structure Std.Async.System.SystemUser : Type

Information about the current user.

• username : String

  The user's name.

• userId : Option UserId

  The user's ID.

• groupId : Option GroupId

  The group the user belongs to.

• shell : Option String

  The user's login shell.

• homeDir : Option System.FilePath

  The home directory of the user.

@[implicit_reducible]

instance Std.Async.System.instInhabitedSystemUser : Inhabited SystemUser

def Std.Async.System.instDecidableEqSystemUser.decEq (x✝ x✝¹ : SystemUser) : Decidable (x✝ = x✝¹)

@[implicit_reducible]

instance Std.Async.System.instDecidableEqSystemUser : DecidableEq SystemUser

@[implicit_reducible]

instance Std.Async.System.instReprSystemUser : Repr SystemUser

def Std.Async.System.instReprSystemUser.repr : SystemUser → Nat → Format

structure Std.Async.System.GroupInfo : Type

Information about a group.

• groupName : String

  The name of the group.

• groupId : GroupId

  The ID of the group.

• members : Array String

  The list of users in the group.

@[implicit_reducible]

instance Std.Async.System.instReprGroupInfo : Repr GroupInfo

def Std.Async.System.instReprGroupInfo.repr : GroupInfo → Nat → Format

@[implicit_reducible]

instance Std.Async.System.instInhabitedGroupInfo : Inhabited GroupInfo

structure Std.Async.System.CPUTimes : Type

Represents the breakdown of CPU time usage in milliseconds.

• userTime : Time.Millisecond.Offset

  Time spent in user mode.

• niceTime : Time.Millisecond.Offset

  Time spent on low-priority user processes.

• systemTime : Time.Millisecond.Offset

  time spent in kernel mode.

• idleTime : Time.Millisecond.Offset

  Time the CPU was idle.

• interruptTime : Time.Millisecond.Offset

  Time spent servicing hardware interrupts.

@[implicit_reducible]

instance Std.Async.System.instInhabitedCPUTimes : Inhabited CPUTimes

def Std.Async.System.instDecidableEqCPUTimes.decEq (x✝ x✝¹ : CPUTimes) : Decidable (x✝ = x✝¹)

@[implicit_reducible]

instance Std.Async.System.instDecidableEqCPUTimes : DecidableEq CPUTimes

def Std.Async.System.instReprCPUTimes.repr : CPUTimes → Nat → Format

@[implicit_reducible]

instance Std.Async.System.instReprCPUTimes : Repr CPUTimes

structure Std.Async.System.CPUInfo : Type

Information about a single CPU core.

• model : String

  CPU model name.

• speed : Nat

  The approximate clock speed of the CPU core in MHz.

• times : CPUTimes

  The time spent on the CPU.

@[implicit_reducible]

instance Std.Async.System.instInhabitedCPUInfo : Inhabited CPUInfo

@[implicit_reducible]

instance Std.Async.System.instDecidableEqCPUInfo : DecidableEq CPUInfo

def Std.Async.System.instDecidableEqCPUInfo.decEq (x✝ x✝¹ : CPUInfo) : Decidable (x✝ = x✝¹)

@[implicit_reducible]

instance Std.Async.System.instReprCPUInfo : Repr CPUInfo

def Std.Async.System.instReprCPUInfo.repr : CPUInfo → Nat → Format

structure Std.Async.System.OSInfo : Type

Gets information about the operating system.

• name : String

  OS name.

• release : String

  OS version.

• version : String

  OS build.

• machine : String

  CPU architecture.

@[implicit_reducible]

instance Std.Async.System.instReprOSInfo : Repr OSInfo

def Std.Async.System.instReprOSInfo.repr : OSInfo → Nat → Format

@[implicit_reducible]

instance Std.Async.System.instInhabitedOSInfo : Inhabited OSInfo

structure Std.Async.System.Environment : Type

All the environment variables.

• toHashMap : Std.HashMap String String

@[implicit_reducible]

instance Std.Async.System.instInhabitedEnvironment : Inhabited Environment

def Std.Async.System.instReprEnvironment.repr : Environment → Nat → Format

@[implicit_reducible]

instance Std.Async.System.instReprEnvironment : Repr Environment

@[inline]

def Std.Async.System.Environment.get? (env : Environment) (key : String) : Option String

def Std.Async.System.getSystemInfo : IO OSInfo

Gets information about the operating system.

def Std.Async.System.getCPUInfo : IO (Array CPUInfo)

Gets information about the CPU cores.

@[inline]

def Std.Async.System.getUpTime : IO Time.Second.Offset

Gets the system uptime in seconds.

@[inline]

def Std.Async.System.getHighResolutionTime : IO Time.Nanosecond.Offset

The current high-resolution timestamp in nanoseconds. It is relative to an arbitrary time in the past.

@[inline]

def Std.Async.System.getHostName : IO String

Gets the hostname of the machine.

@[inline]

def Std.Async.System.setEnvVar (name value : String) : IO Unit

Sets an environment variable to value.

@[inline]

def Std.Async.System.getEnvVar (name : String) : IO (Option String)

Gets an environment variable.

@[inline]

def Std.Async.System.unsetEnvVar (name : String) : IO Unit

Unset an environment variable.

@[inline]

def Std.Async.System.getEnv : IO Environment

Gets all environment variables.

@[inline]

def Std.Async.System.getHomeDir : IO System.FilePath

Gets the current user's home directory.

@[inline]

def Std.Async.System.getTmpDir : IO System.FilePath

Gets the temporary directory.

def Std.Async.System.getCurrentUser : IO SystemUser

Gets the current user by using passwd.

On Windows systems, userId, groupId and shell are set to none

def Std.Async.System.getGroup (groupId : GroupId) : IO (Option GroupInfo)

Gets the group by its ID.