Struct NamedExpression 

pub struct NamedExpression { /* private fields */ }

An expression bundled with a function name for use in constraint streams.

NamedExpression automatically generates unique function names for expressions, making it easy to use expressions in constraint stream components.

The generated function name follows the pattern expr_{counter} or uses a provided custom name.

Implementations

impl NamedExpression

pub fn new(expression: Expression) -> Self

Creates a new named expression with an auto-generated unique name.

Example

use solverforge_core::wasm::Expr;
use solverforge_core::constraints::NamedExpression;

let expr = NamedExpression::new(Expr::is_not_null(Expr::param(0)));
assert!(expr.name().starts_with("expr_"));

pub fn with_name(name: impl Into<String>, expression: Expression) -> Self

Creates a named expression with a specific name.

Use this when you want to give your expression a meaningful name for debugging or readability.

Example

use solverforge_core::wasm::{Expr, FieldAccessExt};
use solverforge_core::constraints::NamedExpression;

let has_room = NamedExpression::with_name(
    "lesson_has_room",
    Expr::is_not_null(Expr::param(0).get("Lesson", "room"))
);
assert_eq!(has_room.name(), "lesson_has_room");

pub fn name(&self) -> &str

Returns the function name.

pub fn expression(&self) -> &Expression

Returns the expression.

pub fn into_expression(self) -> Expression

Consumes self and returns the expression.

pub fn into_parts(self) -> (String, Expression)

Returns a tuple of (name, expression) for registration with WasmModuleBuilder.

Trait Implementations

impl Clone for NamedExpression

fn clone(&self) -> NamedExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NamedExpression

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

Formats the value using the given formatter.

impl From<&NamedExpression> for WasmFunction

fn from(named: &NamedExpression) -> WasmFunction

Converts to this type from the input type.

impl From<NamedExpression> for WasmFunction

fn from(named: NamedExpression) -> WasmFunction

Converts to this type from the input type.

impl PartialEq for NamedExpression

fn eq(&self, other: &NamedExpression) -> 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 NamedExpression