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:IO → Env

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.