canic-host 0.111.0

Host-side App build and desired-state Fleet reconciliation library for Canic workspaces
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Module: canister_protocol::contract
//!
//! Responsibility: parse and type-check Candid without printing parser diagnostics.
//! Does not own: source selection, network calls or storage.
//! Boundary: parsed contracts are inspected without adapting their wire shapes.

use candid::{TypeEnv, types::Type};

/// Parse and type-check a text contract without printing diagnostics to stderr.
///
/// Callers own error reporting. The parser's pretty loader writes directly to
/// stderr, bypassing both structured diagnostics and libtest's output capture.
pub fn parse_text(source: &str) -> candid_parser::Result<(TypeEnv, Option<Type>)> {
    let program = source.parse::<candid_parser::IDLProg>()?;
    let mut environment = TypeEnv::new();
    let actor = candid_parser::check_prog(&mut environment, &program)?;
    Ok((environment, actor))
}