Skip to main content

StageComposition

Struct StageComposition 

Source
pub struct StageComposition { /* private fields */ }
Expand description

An in-progress composition for one stage.

Implementations§

Source§

impl StageComposition

Source

pub fn new(stage: PromptStage) -> Self

Source

pub fn system_separator(self, separator: &str) -> Self

Use the stage’s declared section separator when the dialect concatenates system sections into one slot (the migrated platform literals’ byte identity depends on it). Without this, the dialect’s boundary marker joins.

Source

pub fn section(self, section: impl PromptSection) -> Self

Append a typed base section, rendering it eagerly.

Source

pub fn section_if(self, include: bool, section: impl PromptSection) -> Self

Typed inclusion predicate: append only when include holds.

Source

pub fn resolved(self, rendered: RenderedSection, origin: OverrideOrigin) -> Self

Append an already-resolved section (the template-resolution path; carries its override origin).

Source

pub fn compile( self, route: &PromptRoute, dialect: &ModelDialect, tool_spec_hash: &str, ) -> Result<CompiledPromptProgram>

Compile: deterministic budget fit, dialect layout, digests.

Trait Implementations§

Source§

impl Debug for StageComposition

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.