Struct gluon_base::ast::RootExpr

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

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: Eq> Eq for RootExpr<Id>

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

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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>