Skip to main content

NlConfigGenerator

Struct NlConfigGenerator 

Source
pub struct NlConfigGenerator;
Expand description

Generates YAML configuration from natural language descriptions.

The generator uses a two-phase approach:

  1. Parse the natural language description into a structured ConfigIntent.
  2. Map the intent to a YAML configuration string using preset templates.

Implementations§

Source§

impl NlConfigGenerator

Source

pub fn generate( description: &str, provider: &dyn LlmProvider, ) -> Result<String, SynthError>

Generate a YAML configuration from a natural language description.

Uses the provided LLM provider to help parse the description, with keyword-based fallback parsing for reliability.

§Errors

Returns SynthError::GenerationError if the description cannot be parsed or the resulting configuration is invalid.

Source

pub fn parse_intent( description: &str, provider: &dyn LlmProvider, ) -> Result<ConfigIntent, SynthError>

Parse a natural language description into a structured ConfigIntent.

Attempts to use the LLM provider first, then falls back to keyword-based extraction for reliability.

Source

pub fn generate_full( description: &str, provider: &dyn LlmProvider, ) -> Result<String, SynthError>

Generate a complete YAML configuration from a natural language description.

Unlike generate, which maps to a template via structured intent, this method asks the LLM to produce the full YAML directly using the complete DataSynth config schema as guidance. Falls back to generate if the LLM response is not valid YAML or does not contain expected top-level keys.

Source

pub fn extract_yaml(content: &str) -> String

Extract YAML content from an LLM response, stripping ``` fences if present.

Source

pub fn full_schema_system_prompt() -> String

System prompt describing the full DataSynth configuration schema.

Used by generate_full so the LLM can produce a complete config.

Source

pub fn intent_to_yaml(intent: &ConfigIntent) -> Result<String, SynthError>

Map a ConfigIntent to a YAML configuration string.

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> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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
Source§

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

Source§

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

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

fn is_in_subset(&self) -> bool

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

fn to_subset_unchecked(&self) -> SS

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

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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more