Enum VarType 

pub enum VarType {
    Str,
    Bool,
    Int,
    Float,
    List(Vec<VarDecl>),
    Struct(Vec<VarDecl>),
    Enum(Vec<VariantDecl>),
    Tmpl(Vec<VarDecl>),
    Option(Box<VarType>),
}

Expected type of a template variable.

Variants

Str

str — expects a string value.

Bool

bool — expects a boolean value.

Int

int — expects an integer value.

Float

float — expects a floating-point value.

List(Vec<VarDecl>)

list(field = type, ...) — required fields per item.

Struct(Vec<VarDecl>)

struct(field = type, ...) — required fields.

Enum(Vec<VariantDecl>)

enum(Option1, Option2, ...) — expects one of these variants.

Tmpl(Vec<VarDecl>)

tmpl(field = type, ...) — expects a template with matching params.

Option(Box<VarType>)

option(T) — syntactic sugar for enum(Some(val = T), None). Accepts Value::None or the inner T type directly.

Implementations

impl VarType

pub fn is_displayable(&self) -> bool

Returns true if this type can be directly displayed via {{ expr }}.

Only scalar types (str, int, float, bool) are displayable. Compound types (list, struct, enum, tmpl, option) must be accessed through iteration, field access, kind(), has(), or {% match %} instead.

pub fn matches(&self, value: &Value) -> bool

Returns true if value is compatible with this declared type.

• Scalar types match their corresponding Value variant.
• List(fields) matches Value::List; if fields is non-empty, every item must be a Struct with all required keys and matching value types (recursive).
• Struct(fields) matches Value::Struct; required keys must be present with matching value types (recursive).
• Enum(variants) matches unit variants as Value::Str, struct variants as Value::Struct with __kind__ + typed fields.

pub fn check(&self, value: &Value) -> Result<(), TypeCheckError>

Validate value against this type, returning a structured error with the path to the first mismatch on failure.

Uses a two-pass strategy: a fast discriminant-only check first (zero allocations), falling back to the full path-building check only when a mismatch is detected.

Errors

Returns TypeCheckError with the dotted path to the mismatched field, the expected type, the actual type, and a preview of the actual value.

impl VarType

pub fn is_option(&self) -> bool

Returns true if this type is an option(T).

option is a first-class type: a literal enum(Some(val = T), None) is an ordinary enum, not an option. Use option(T) for options.

pub fn option_inner_type(&self) -> Option<&VarType>

If this type is option(T), returns the inner T type.

Trait Implementations

impl Clone for VarType

fn clone(&self) -> VarType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VarType

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

Formats the value using the given formatter.

impl Display for VarType

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

Formats the value using the given formatter.

impl Eq for VarType

impl PartialEq for VarType

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VarType