Struct Text 

pub struct Text {
    pub content: String,
    pub language: Language,
    pub syntax_hint: Option<SyntaxHint>,
}

A text value in Eure, unifying strings and code.

Overview

Text represents all text values in Eure, regardless of whether they were written using string syntax ("...") or code syntax (`...`). This unification simplifies the data model while preserving the semantic distinction through the language field.

Syntax Mapping

Syntax	Language	SyntaxHint
"hello"	Plaintext	Quoted
`hello`	Implicit	Inline1
``hello``	Implicit	Inline2
sql`SELECT`	Other("sql")	Inline1
``` (no lang)	Implicit	Block3
```rust	Other("rust")	Block3

Key Distinction

• "..." → Plaintext (explicit: “this is text, not code”)
• `...` without lang → Implicit (code, language inferred from schema)
• lang`...` → Other(lang) (code with explicit language)

Fields

content: String

The text content.

language: Language

The language tag for this text.

syntax_hint: Option<SyntaxHint>

Hint for serialization about the original syntax.

Implementations

impl Text

pub fn new(content: impl Into<String>, language: Language) -> Self

Create a new text value.

pub fn with_syntax_hint( content: impl Into<String>, language: Language, syntax_hint: SyntaxHint, ) -> Self

Create a new text value with a syntax hint.

For block syntax hints, automatically ensures trailing newline.

pub fn plaintext(content: impl Into<String>) -> Self

Create a plaintext value (from "..." syntax).

pub fn inline_implicit(content: impl Into<String>) -> Self

Create an inline code value with implicit language (from `...` syntax).

pub fn inline(content: impl Into<String>, language: impl Into<String>) -> Self

Create an inline code value with explicit language (from lang`...` syntax).

pub fn block_implicit(content: impl Into<String>) -> Self

Create a block code value with implicit language (from ``` syntax without lang).

pub fn block(content: impl Into<String>, language: impl Into<String>) -> Self

Create a block code value with explicit language.

pub fn block_without_trailing_newline( content: impl Into<String>, language: impl Into<String>, ) -> Self

Create a block code value without adding a trailing newline. This must be used only when performing convertion to eure from another data format.

pub fn as_str(&self) -> &str

Returns the content as a string slice.

impl Text

pub fn parse_quoted_string(s: &str) -> Result<Self, TextParseError>

Parse a quoted string like "hello world" into a Text value.

Handles escape sequences: \\, \", \', \n, \r, \t, \0, \u{...}.

pub fn parse_text_binding(s: &str) -> Result<Self, TextParseError>

Parse a text binding content (after the colon) like : hello world\n.

Strips trailing newline and trims whitespace.

pub fn parse_indented_block( language: Language, content: String, base_indent: usize, syntax_hint: SyntaxHint, ) -> Result<Self, TextParseError>

Parse an indented code block, removing base indentation.

Trait Implementations

impl Clone for Text

fn clone(&self) -> Text

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Text

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

Formats the value using the given formatter.

impl From<Text> for PrimitiveValue

fn from(t: Text) -> Self

Converts to this type from the input type.

impl PartialEq for Text

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Text