System.Info

Miscellaneous functions for getting information about the system.

Definitions

os : String

  The current operating system.

Totality: total
Visibility: export

codegen : String

  The codegen/backend used.

Totality: total
Visibility: export

isWindows : Bool

  Whether we are running on MS Windows, either directly or with a compability
  layer (e.g. cygwin).

Totality: total
Visibility: export

getNProcessors : IO (Maybe Nat)

  Get the number of processors on the system. Returns `Nothing` if we somehow
  got 0 processors.

Totality: total
Visibility: export