Documentation

Std.Internal.Async.System

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

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

  • toNat : Nat

    The numeric group ID.

Instances For

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

  • toNat : Nat

    The numeric user ID.

Instances For

Information about the current user.

Instances For

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.

Instances For

Represents the breakdown of CPU time usage in milliseconds.

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

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.

Instances For

Gets information about the operating system.

Instances For

Gets information about the operating system.

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

Gets information about the CPU cores.

Equations
  • One or more equations did not get rendered due to their size.
@[inline]

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

Equations
@[inline]

Sets an environment variable to value.

Equations

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.

Gets the group by its ID.

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