Effect Envpub

Source
:effect(pub) Env
  .args (  (Vec Str) )
  .get-env ( Str  (Option Str) )
  .exit ( AnyInt  Never )
Description

Process environment effect: command-line args, env vars, and process exit.

Parent chain:IOEnv

Operations

.args ( (Vec Str) )

Returns the program's command-line arguments as a vector of strings.

.get-env ( Str (Option Str) )

Returns the value of an environment variable or None if unset.

.exit ( AnyInt Never )

Terminates the process with the given exit code; never returns.