System Domain

The System domain connects your program to the operating system.

It allows you to read Environment Variables (like secret queries or API keys), handle command-line arguments, or signal success/failure with exit codes. It is the bridge between the managed AIVI runtime and the chaotic host machine.

Overview

use aivi.system (env)

// Read an environment variable
port = env.get("PORT") |> Option.default("8080")

Values

env : {
  get: Text -> Effect Text (Option Text)
  set: Text -> Text -> Effect Text Unit
  remove: Text -> Effect Text Unit
}

args : Effect Text (List Text)
exit : Int -> Effect Text Unit

Goals for v1.0

• Environment variables (read-only or read-write depending on capabilities).
• Command-line arguments.
• Process termination (exit).
• Spawning child processes (optional for v1.0, but good to plan).