Skip to main content

BlueprintComposition

Enum BlueprintComposition 

Source
pub enum BlueprintComposition {
    Composed,
    Documented,
}
Expand description

How the composite-program blueprint synthesizer turns its annotated recipe template into the program shown to the user.

Issue #340 asked the engine to “try all directions” of program synthesis and let the user switch between them. A blueprint recipe is stored as an annotated template whose optional sub-tasks (error handling, comments, …) are wrapped in region:<capability> markers; every emitted program is a projection of that template (never the raw, marker-bearing string — markers are always stripped). This knob selects which projection to emit:

  • Composed (default, the most promising direction): the program is assembled from exactly the capabilities the request decomposed into — optional regions whose capability the prompt did not ask for are dropped, and when comments were not requested the documentation is stripped too. The same recipe therefore yields genuinely different programs for different requests, which is the honest, anti-memoization demonstration that the code is composed from the decomposition (NON-GOALS.md).
  • Documented: always emit the fully documented program with every optional region present, regardless of which sub-tasks the request named. Useful as a stable reference and for users who want the maximal annotated program every time.

Variants§

§

Composed

Project the program from the detected capabilities (default).

§

Documented

Always emit the fully documented program with every region present.

Implementations§

Source§

impl BlueprintComposition

Source

pub const fn slug(self) -> &'static str

Stable slug used in the event log and the demo preference value.

Source

pub fn from_value(raw: &str) -> Option<Self>

Parse a configuration value (env var or demo preference). Accepts the canonical slugs plus a few intuitive aliases; returns None for anything unrecognized so callers keep the default.

Trait Implementations§

Source§

impl Clone for BlueprintComposition

Source§

fn clone(&self) -> BlueprintComposition

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Copy for BlueprintComposition

Source§

impl Debug for BlueprintComposition

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for BlueprintComposition

Source§

fn default() -> BlueprintComposition

Returns the “default value” for a type. Read more
Source§

impl Eq for BlueprintComposition

Source§

impl PartialEq for BlueprintComposition

Source§

fn eq(&self, other: &BlueprintComposition) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for BlueprintComposition

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
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.
Source§

impl<S, T> Upcast<T> for S
where T: UpcastFrom<S> + ?Sized, S: ?Sized,

Source§

fn upcast(&self) -> &T
where Self: ErasableGeneric, T: Sized + ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider ref type within the Wasm bindgen generics type system. Read more
Source§

fn upcast_into(self) -> T
where Self: Sized + ErasableGeneric, T: Sized + ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider type within the Wasm bindgen generics type system. Read more