Trait ascesis::Contextual

pub trait Contextual {
    fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>;

    fn with(&self, ctx: &Arc<Mutex<Context>>) -> InContext<Self> { ... }
    fn with_mut(&mut self, ctx: &Arc<Mutex<Context>>) -> InContextMut<Self> { ... }
}

A trait for binding objects to Context temporarily, without permanently storing (and synchronizing) context references inside the objects.

See InContext for more details.

Required methods

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

Loading content...

Provided methods

fn with(&self, ctx: &Arc<Mutex<Context>>) -> InContext<Self>

fn with_mut(&mut self, ctx: &Arc<Mutex<Context>>) -> InContextMut<Self>

Loading content...

Implementations on Foreign Types

impl<T> Contextual for Vec<T> where
    T: ExclusivelyContextual, 

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

Loading content...

Implementors

impl Contextual for Clause

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

impl Contextual for Literal

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

impl Contextual for Variable

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

impl Contextual for FiringComponent

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

impl Contextual for Polynomial<LinkID>

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

impl<T> Contextual for T where
    T: ExclusivelyContextual, 

fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>

Loading content...