Language

Enum Language 

Source
pub enum Language {
    Plaintext,
    Implicit,
    Other(String),
}
Expand description

Language tag for text values.

§Variants

  • Plaintext: Explicitly plain text, from "..." string syntax. Use when the content is data/text, not code.

  • Implicit: No language specified, from `...` or ``` without a language tag. The language can be inferred from schema context.

  • Other: Explicit language tag, from rust`...` or ```rust syntax. Use when the language must be specified.

§Schema Validation

SchemaPlaintextImplicitOther("rust")
.text (any)
.text.plaintext✓ (coerce)
.text.rust✓ (coerce)

Implicit allows users to write `let a = 1;` when the schema already specifies .text.rust, without redundantly repeating the language.

Variants§

§

Plaintext

Explicitly plain text (from "..." syntax).

This variant is rejected by schemas expecting a specific language like .text.rust. Use this when the content is data/text, not code.

§

Implicit

No language specified (from `...` without language tag).

Can be coerced to match the schema’s expected language. This allows users to write `let a = 1;` when the schema already specifies .text.rust.

§

Other(String)

Explicit language tag (from lang`...` syntax).

The string contains the language identifier (e.g., “rust”, “sql”, “email”).

Implementations§

Source§

impl Language

Source

pub fn new(s: impl Into<String>) -> Self

Create a Language from a string.

  • Empty string or “plaintext” → Plaintext
  • Other strings → Other

Note: This does NOT produce Implicit. Use Language::Implicit directly when parsing code syntax without a language tag.

Source

pub fn as_str(&self) -> Option<&str>

Returns the language as a string slice, or None for Implicit.

Source

pub fn is_plaintext(&self) -> bool

Returns true if this is the Plaintext variant.

Source

pub fn is_implicit(&self) -> bool

Returns true if this is the Implicit variant.

Source

pub fn is_compatible_with(&self, expected: &Language) -> bool

Returns true if this language can be coerced to the expected language.

§Coercion Rules
  • Implicit can be coerced to any language (it’s “infer from schema”)
  • Any language matches an Implicit expectation (schema says “any”)
  • Otherwise, languages must match exactly
Source

pub fn is_other(&self, arg: &str) -> bool

Trait Implementations§

Source§

impl Clone for Language

Source§

fn clone(&self) -> Language

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Language

Source§

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

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

impl Default for Language

Source§

fn default() -> Language

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

impl Hash for Language

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for Language

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for Language

Source§

impl StructuralPartialEq for Language

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.