Module process

Description

Process effect — spawn, wait on, kill, and pipe child processes.

Sub-effect of IO. Child handles and byte payloads are carried as AnyUInt and Bytes placeholders; richer Command / Output / ExitStatus / ProcessError records arrive with the host handler.

The process-level free :fns process-args, process-exit, and process-env-get read process-wide state and do not require the +Process effect. Child-process operations (.spawn-process, .wait, .kill, …) are still declaration-only.

Abstractions

Effects

Process: Process effect — spawn, wait, kill, and pipe data through child

Functions

process-args: Returns the program's command-line arguments as a (Vec Str).
process-env-get: Returns the value of an environment variable, or None if unset.
process-exit: Terminates the process with the given exit code; never returns.