Struct gluon_base::ast::OwnedExpr

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

Implementations

impl<Id> OwnedExpr<Id>

pub fn with_arena<R>( &mut self, f: impl for<'ast> FnOnce(OwnedArena<'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) -> (OwnedArena<'_, Id>, &mut SpannedExpr<'_, Id>)

Trait Implementations

impl<Id: Debug> Debug for OwnedExpr<Id>

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

impl<Id: PartialEq> PartialEq for OwnedExpr<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 OwnedExpr<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 OwnedExpr<Id>

impl<Id> Send for OwnedExpr<Id>

where Id: Send, SpannedExpr<'static, Id>: Send,

Since the Arena is no longer accessible it if self is the only owner of the arena we can implement Send and Sync

impl<Id> Sync for OwnedExpr<Id>

where Id: Sync, SpannedExpr<'static, Id>: Sync,