harn-cli 0.10.53

CLI for the Harn programming language — run, test, REPL, format, and lint
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

use std::path::PathBuf;

use clap::{Args, Subcommand, ValueEnum};

#[derive(Debug, Clone, Copy, ValueEnum)]
pub(crate) enum PortableEntryKindArg {
    Function,
    Pipeline,
}

#[derive(Debug, Args)]
pub(crate) struct PortableArgs {
    #[command(subcommand)]
    pub command: PortableCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum PortableCommand {
    /// Compile a source file and its imports into one portable artifact.
    Compile(PortableCompileArgs),
    /// Resolve source imports into the data-only browser package projection.
    Package(PortablePackageArgs),
    /// Start a portable artifact with JSON input and host grants.
    Start(PortableStartArgs),
    /// Resume a suspended artifact with one typed capability result.
    Resume(PortableResumeArgs),
}

#[derive(Debug, Args)]
pub(crate) struct PortablePackageArgs {
    /// Root Harn source file.
    pub source: PathBuf,
    /// Destination for the deterministic source package manifest.
    #[arg(short, long, value_name = "PATH")]
    pub output: PathBuf,
    /// Check that the destination already equals the canonical projection.
    #[arg(long)]
    pub check: bool,
}

#[derive(Debug, Args)]
pub(crate) struct PortableCompileArgs {
    /// Root Harn source file.
    pub source: PathBuf,
    /// Function or pipeline name to compile.
    #[arg(long, default_value = "main")]
    pub entry: String,
    /// Kind of callable named by --entry.
    #[arg(long = "entry-kind", value_enum, default_value_t = PortableEntryKindArg::Function)]
    pub entry_kind: PortableEntryKindArg,
    /// Destination for the deterministic portable artifact.
    #[arg(short, long, value_name = "PATH")]
    pub output: PathBuf,
}

#[derive(Debug, Args)]
pub(crate) struct PortableStartArgs {
    /// Portable artifact produced by `harn portable compile`.
    pub artifact: PathBuf,
    /// JSON input file passed to the artifact entry.
    #[arg(long, value_name = "PATH")]
    pub input: PathBuf,
    /// Host grants JSON. Omit for pure execution.
    #[arg(long, value_name = "PATH")]
    pub grants: Option<PathBuf>,
    /// Destination for a snapshot if execution suspends.
    #[arg(long = "snapshot-out", value_name = "PATH")]
    pub snapshot_out: PathBuf,
}

#[derive(Debug, Args)]
pub(crate) struct PortableResumeArgs {
    /// Portable artifact used to create the snapshot.
    pub artifact: PathBuf,
    /// Snapshot emitted by the previous start or resume step.
    #[arg(long, value_name = "PATH")]
    pub snapshot: PathBuf,
    /// Typed capability result JSON.
    #[arg(long, value_name = "PATH")]
    pub result: PathBuf,
    /// Host grants JSON, including the same snapshot key.
    #[arg(long, value_name = "PATH")]
    pub grants: PathBuf,
    /// Destination for a replacement snapshot if execution suspends again.
    #[arg(long = "snapshot-out", value_name = "PATH")]
    pub snapshot_out: PathBuf,
}