Struct Program 

pub struct Program<'a, L: Llm, V: Validate> {
    pub config: ProgramConfig,
    /* private fields */
}

Program of Thought builder.

Generates code to solve problems, executes it, and refines if needed.

Fields

config: ProgramConfig

Configuration for Program of Thought.

Implementations

impl<'a, L: Llm> Program<'a, L, NoValidation>

pub fn new(llm: &'a L, problem: &'a str) -> Self

Create a new Program of Thought builder.

impl<'a, L: Llm, V: Validate> Program<'a, L, V>

pub fn validate<V2: Validate>(self, validator: V2) -> Program<'a, L, V2>

Set a validator for the execution output.

pub fn executor<E: CodeExecutor + 'static>(self, executor: E) -> Self

Set the code executor.

This is required - without an executor, the code cannot be run.

pub fn executor_dyn(self, executor: Box<dyn DynCodeExecutor + 'static>) -> Self

Set a pre-boxed code executor (used by pipeline internals).

pub fn max_iter(self, n: u32) -> Self

Set maximum code generation attempts.

If execution fails, the LLM will be asked to fix the code up to this many times.

pub fn language(self, lang: &str) -> Self

Set the target programming language.

This is usually auto-detected from the executor but can be overridden.

pub fn extract(self, lang: impl Into<String>) -> Self

Extract code blocks from execution output before validation.

When set, the validator receives extracted code from stdout rather than the raw output. The result’s output field will also contain the extracted code.

pub fn skill(self, skill: &Skill<'_>) -> Self

Attach a skill (persistent prompt context) to this builder.

Skill instructions are prepended to the code generation prompt.

pub fn defaults(self, defaults: Defaults) -> Self

Set runtime defaults applied via regex substitution before validation.

Defaults are applied to the execution output before validation.

pub fn no_code(self) -> Self

Disable code inclusion in result.

pub fn go(self) -> ProgramResult

Execute synchronously.

pub async fn run(self) -> ProgramResult

Execute asynchronously.