Struct gluon_base::ast::RootExpr

pub struct RootExpr<Id: 'static> { /* private fields */ }

Implementations

impl<Id> RootExpr<Id>

pub fn new<'ast>( arena: Arc<Arena<'ast, Id>>, expr: &'ast mut SpannedExpr<'ast, Id> ) -> Self

pub fn with_arena<R>( &mut self, f: impl for<'ast> FnOnce(&'ast Arena<'ast, Id>, &'ast mut SpannedExpr<'ast, Id>) -> R ) -> R

pub fn expr(&self) -> &SpannedExpr<'_, Id>

pub fn expr_mut(&mut self) -> &mut SpannedExpr<'_, Id>

pub fn arena_expr(&mut self) -> (&Arena<'_, Id>, &mut SpannedExpr<'_, Id>)

pub fn try_into_send(self) -> Result<OwnedExpr<Id>, Self>

Trait Implementations

impl<Id: Debug> Debug for RootExpr<Id>

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

Formats the value using the given formatter.

impl<Id: 'static> Default for RootExpr<Id>

fn default() -> Self

Returns the “default value” for a type.

impl<Id: PartialEq> PartialEq for RootExpr<Id>

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Typed for RootExpr<Symbol>

type Ident = Symbol

fn try_type_of( &self, env: &dyn TypeEnv<Type = ArcType> ) -> Result<ArcType, String>

fn env_type_of(&self, env: &dyn TypeEnv<Type = ArcType>) -> ArcType<Self::Ident>

impl<Id: Eq> Eq for RootExpr<Id>