Struct gluon_base::ast::OwnedExpr

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

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

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

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>