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

structure Std.Internal.IO.Async.System.GroupId : Type

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

• toNat : Nat

  The numeric group ID.

instance Std.Internal.IO.Async.System.instInhabitedGroupId : Inhabited GroupId

Equations

• Std.Internal.IO.Async.System.instInhabitedGroupId = { default := { toNat := default } }

instance Std.Internal.IO.Async.System.instDecidableEqGroupId : DecidableEq GroupId

Equations

• Std.Internal.IO.Async.System.instDecidableEqGroupId = Std.Internal.IO.Async.System.decEqGroupId✝

instance Std.Internal.IO.Async.System.instOrdGroupId : Ord GroupId

Equations

• Std.Internal.IO.Async.System.instOrdGroupId = { compare := Std.Internal.IO.Async.System.ordGroupId✝ }

instance Std.Internal.IO.Async.System.instReprGroupId : Repr GroupId

Equations

• Std.Internal.IO.Async.System.instReprGroupId = { reprPrec := fun (g : Std.Internal.IO.Async.System.GroupId) => Repr.addAppParen (Std.Format.text "GroupId.mk " ++ repr g.toNat) }

structure Std.Internal.IO.Async.System.UserId : Type

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

• toNat : Nat

  The numeric user ID.

instance Std.Internal.IO.Async.System.instInhabitedUserId : Inhabited UserId

Equations

• Std.Internal.IO.Async.System.instInhabitedUserId = { default := { toNat := default } }

instance Std.Internal.IO.Async.System.instDecidableEqUserId : DecidableEq UserId

Equations

• Std.Internal.IO.Async.System.instDecidableEqUserId = Std.Internal.IO.Async.System.decEqUserId✝

instance Std.Internal.IO.Async.System.instOrdUserId : Ord UserId

Equations

• Std.Internal.IO.Async.System.instOrdUserId = { compare := Std.Internal.IO.Async.System.ordUserId✝ }

instance Std.Internal.IO.Async.System.instReprUserId : Repr UserId

Equations

• Std.Internal.IO.Async.System.instReprUserId = { reprPrec := fun (u : Std.Internal.IO.Async.System.UserId) => Repr.addAppParen (Std.Format.text "UserId.mk " ++ repr u.toNat) }

structure Std.Internal.IO.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.

instance Std.Internal.IO.Async.System.instInhabitedSystemUser : Inhabited SystemUser

Equations

• Std.Internal.IO.Async.System.instInhabitedSystemUser = { default := { username := default, userId := default, groupId := default, shell := default, homeDir := default } }

instance Std.Internal.IO.Async.System.instDecidableEqSystemUser : DecidableEq SystemUser

Equations

• Std.Internal.IO.Async.System.instDecidableEqSystemUser = Std.Internal.IO.Async.System.decEqSystemUser✝

instance Std.Internal.IO.Async.System.instReprSystemUser : Repr SystemUser

Equations

• Std.Internal.IO.Async.System.instReprSystemUser = { reprPrec := Std.Internal.IO.Async.System.reprSystemUser✝ }

structure Std.Internal.IO.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.

instance Std.Internal.IO.Async.System.instReprGroupInfo : Repr GroupInfo

Equations

• Std.Internal.IO.Async.System.instReprGroupInfo = { reprPrec := Std.Internal.IO.Async.System.reprGroupInfo✝ }

instance Std.Internal.IO.Async.System.instInhabitedGroupInfo : Inhabited GroupInfo

Equations

• Std.Internal.IO.Async.System.instInhabitedGroupInfo = { default := { groupName := default, groupId := default, members := default } }

structure Std.Internal.IO.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.

instance Std.Internal.IO.Async.System.instInhabitedCPUTimes : Inhabited CPUTimes

Equations

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

instance Std.Internal.IO.Async.System.instDecidableEqCPUTimes : DecidableEq CPUTimes

Equations

• Std.Internal.IO.Async.System.instDecidableEqCPUTimes = Std.Internal.IO.Async.System.decEqCPUTimes✝

instance Std.Internal.IO.Async.System.instReprCPUTimes : Repr CPUTimes

Equations

• Std.Internal.IO.Async.System.instReprCPUTimes = { reprPrec := Std.Internal.IO.Async.System.reprCPUTimes✝ }

structure Std.Internal.IO.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.

instance Std.Internal.IO.Async.System.instInhabitedCPUInfo : Inhabited CPUInfo

Equations

• Std.Internal.IO.Async.System.instInhabitedCPUInfo = { default := { model := default, speed := default, times := default } }

instance Std.Internal.IO.Async.System.instDecidableEqCPUInfo : DecidableEq CPUInfo

Equations

• Std.Internal.IO.Async.System.instDecidableEqCPUInfo = Std.Internal.IO.Async.System.decEqCPUInfo✝

instance Std.Internal.IO.Async.System.instReprCPUInfo : Repr CPUInfo

Equations

• Std.Internal.IO.Async.System.instReprCPUInfo = { reprPrec := Std.Internal.IO.Async.System.reprCPUInfo✝ }

structure Std.Internal.IO.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.

instance Std.Internal.IO.Async.System.instReprOSInfo : Repr OSInfo

Equations

• Std.Internal.IO.Async.System.instReprOSInfo = { reprPrec := Std.Internal.IO.Async.System.reprOSInfo✝ }

instance Std.Internal.IO.Async.System.instInhabitedOSInfo : Inhabited OSInfo

Equations

• Std.Internal.IO.Async.System.instInhabitedOSInfo = { default := { name := default, release := default, version := default, machine := default } }

structure Std.Internal.IO.Async.System.Environment : Type

All the environment variables.

• toHashMap : Std.HashMap String String

  The list of all environment variables.

instance Std.Internal.IO.Async.System.instInhabitedEnvironment : Inhabited Environment

Equations

• Std.Internal.IO.Async.System.instInhabitedEnvironment = { default := { toHashMap := default } }

instance Std.Internal.IO.Async.System.instReprEnvironment : Repr Environment

Equations

• Std.Internal.IO.Async.System.instReprEnvironment = { reprPrec := Std.Internal.IO.Async.System.reprEnvironment✝ }

@[inline]

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

Equations

• env.get? key = (Std.Internal.IO.Async.System.Environment.toHashMap✝ env)[key]?

def Std.Internal.IO.Async.System.getSystemInfo : IO OSInfo

Gets information about the operating system.

Equations

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

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

Gets information about the CPU cores.

Equations

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

@[inline]

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

Gets the system uptime in seconds.

Equations

• Std.Internal.IO.Async.System.getUpTime = do let __do_lift ← Std.Internal.UV.System.uptime pure (Std.Time.Second.Offset.ofNat __do_lift.toNat)

@[inline]

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

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

Equations

• Std.Internal.IO.Async.System.getHighResolutionTime = do let __do_lift ← Std.Internal.UV.System.hrtime pure (Std.Time.Nanosecond.Offset.ofNat __do_lift.toNat)

@[inline]

def Std.Internal.IO.Async.System.getHostName : IO String

Gets the hostname of the machine.

Equations

• Std.Internal.IO.Async.System.getHostName = Std.Internal.UV.System.osGetHostname

@[inline]

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

Sets an environment variable to value.

Equations

• Std.Internal.IO.Async.System.setEnvVar name value = Std.Internal.UV.System.osSetenv name value

@[inline]

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

Gets an environment variable.

Equations

• Std.Internal.IO.Async.System.getEnvVar name = Std.Internal.UV.System.osGetenv name

@[inline]

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

Unset an environment variable.

Equations

• Std.Internal.IO.Async.System.unsetEnvVar name = Std.Internal.UV.System.osUnsetenv name

@[inline]

def Std.Internal.IO.Async.System.getEnv : IO Environment

Gets all environment variables.

Equations

• Std.Internal.IO.Async.System.getEnv = do let array ← Std.Internal.UV.System.osEnviron pure { toHashMap := (Std.HashMap.emptyWithCapacity array.size).insertMany array }

@[inline]

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

Gets the current user's home directory.

Equations

• Std.Internal.IO.Async.System.getHomeDir = System.FilePath.mk <$> Std.Internal.UV.System.osHomedir

@[inline]

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

Gets the temporary directory.

Equations

• Std.Internal.IO.Async.System.getTmpDir = System.FilePath.mk <$> Std.Internal.UV.System.osTmpdir

def Std.Internal.IO.Async.System.getCurrentUser : IO SystemUser

Gets the current user by using passwd.

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

Equations

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

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

Gets the group by its ID.

Equations

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