Trait aces::Contextual

pub trait Contextual: Sized {
    fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>;

    fn with(&self, ctx: &ContextHandle) -> InContext<Self> { ... }
    fn with_mut(&mut self, ctx: &ContextHandle) -> 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: &ContextHandle) -> Result<String, Box<dyn Error>>

Loading content...

Provided methods

fn with(&self, ctx: &ContextHandle) -> InContext<Self>

fn with_mut(&mut self, ctx: &ContextHandle) -> InContextMut<Self>

Loading content...

Implementations on Foreign Types

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

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

Loading content...

Implementors

impl Contextual for Clause

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl Contextual for Literal

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl Contextual for Variable

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl Contextual for FiringComponent

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl Contextual for Polynomial<LinkID>

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl Contextual for State

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

impl<T: ExclusivelyContextual> Contextual for T

fn format(&self, ctx: &ContextHandle) -> Result<String, Box<dyn Error>>

Loading content...