lashlang 0.1.0-alpha.104

Lashlang: compact CodeAct language for model-authored REPL blocks in the lash agent runtime.
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

use std::borrow::Borrow;
use std::cell::RefCell;
use std::collections::{BTreeMap, BTreeSet};

use serde::{Deserialize, Serialize};
use thiserror::Error;

use crate::artifact::{
    HostRequirements, ModuleArtifact, host_requirements_for_program_with_catalog,
};
use crate::ast::{
    AssignPathStep, AstString, Declaration, Expr, ListComprehensionClause, ProcessDecl,
    ProcessParam, Program, ResourceRefExpr, TypeExpr, TypeField, format_type_expr,
};
use crate::lexer::Span;

include!("linker/catalog.rs");
include!("linker/host.rs");
include!("linker/errors.rs");
include!("linker/pass_setup.rs");
include!("linker/lower_expr.rs");
include!("linker/pass_validation.rs");
include!("linker/type_helpers.rs");
include!("linker/facets.rs");
include!("linker/tests.rs");

#[derive(Clone, Debug, Default)]
pub(crate) struct WorkflowLinkAnalysis {
    nodes: BTreeMap<usize, WorkflowLinkNodeFacts>,
}

#[derive(Clone, Debug, Default)]
pub(crate) struct WorkflowLinkNodeFacts {
    pub(crate) available_variables: BTreeMap<String, TypeExpr>,
    pub(crate) expected_arguments: Vec<WorkflowLinkExpectedArgument>,
    pub(crate) diagnostics: Vec<LinkError>,
}

#[derive(Clone, Debug)]
pub(crate) struct WorkflowLinkExpectedArgument {
    pub(crate) slot: String,
    pub(crate) ty: TypeExpr,
}

#[derive(Debug, Default)]
struct ExpectedTypeFacts {
    by_expression: BTreeMap<usize, TypeExpr>,
}