Trait TraceDisplay 

pub trait TraceDisplay {
    // Required methods
    fn line(
        &mut self,
        _: &CheckLog,
        indent: Indent,
    ) -> Result<ControlFlow<()>, Error>;
    fn task(
        &mut self,
        task: CheckingTask<'_>,
        context: &[ComponentVar],
        success: bool,
    ) -> Result<(), Error>;
    fn strategy(
        &mut self,
        name: &str,
        context: &[ComponentVar],
        success: bool,
    ) -> Result<(), Error>;
    fn uri(
        &mut self,
        uri: UriRef<'_>,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error>;
    fn term(
        &mut self,
        term: &Term,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error>;
    fn string(
        &mut self,
        s: &str,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error>;
    fn variable(
        &mut self,
        var: &Variable,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error>;
    fn num(&mut self, num: i128, lvl: Option<MessageLevel>) -> Result<(), Error>;
    fn indent(
        &mut self,
        indent: Indent,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error>;
    fn space(&mut self) -> Result<(), Error>;

    // Provided method
    fn displayable(
        &mut self,
        d: &Displayable,
        lvl: Option<MessageLevel>,
    ) -> Result<(), Error> { ... }
}

Required Methods

fn line( &mut self, _: &CheckLog, indent: Indent, ) -> Result<ControlFlow<()>, Error>

Errors

fn task( &mut self, task: CheckingTask<'_>, context: &[ComponentVar], success: bool, ) -> Result<(), Error>

Errors

fn strategy( &mut self, name: &str, context: &[ComponentVar], success: bool, ) -> Result<(), Error>

Errors

fn uri( &mut self, uri: UriRef<'_>, lvl: Option<MessageLevel>, ) -> Result<(), Error>

Errors

fn term(&mut self, term: &Term, lvl: Option<MessageLevel>) -> Result<(), Error>

Errors

fn string(&mut self, s: &str, lvl: Option<MessageLevel>) -> Result<(), Error>

Errors

fn variable( &mut self, var: &Variable, lvl: Option<MessageLevel>, ) -> Result<(), Error>

Errors

fn num(&mut self, num: i128, lvl: Option<MessageLevel>) -> Result<(), Error>

Errors

fn indent( &mut self, indent: Indent, lvl: Option<MessageLevel>, ) -> Result<(), Error>

Errors

fn space(&mut self) -> Result<(), Error>

Errors

Provided Methods

fn displayable( &mut self, d: &Displayable, lvl: Option<MessageLevel>, ) -> Result<(), Error>

Errors

Implementations on Foreign Types

impl TraceDisplay for &mut Formatter<'_>

Available on crate feature full only.

fn line( &mut self, _: &CheckLog, indent: Indent, ) -> Result<ControlFlow<()>, Error>

fn space(&mut self) -> Result<(), Error>

fn strategy( &mut self, name: &str, _: &[ComponentVar], _: bool, ) -> Result<(), Error>

fn task( &mut self, task: CheckingTask<'_>, context: &[ComponentVar], success: bool, ) -> Result<(), Error>

fn uri(&mut self, uri: UriRef<'_>, _: Option<MessageLevel>) -> Result<(), Error>

fn indent( &mut self, indent: Indent, _: Option<MessageLevel>, ) -> Result<(), Error>

fn term(&mut self, term: &Term, _: Option<MessageLevel>) -> Result<(), Error>

fn string(&mut self, s: &str, _: Option<MessageLevel>) -> Result<(), Error>

fn variable( &mut self, var: &Variable, _: Option<MessageLevel>, ) -> Result<(), Error>

fn num(&mut self, num: i128, _: Option<MessageLevel>) -> Result<(), Error>

Implementors

impl TraceDisplay for ColorDisplay<'_, '_>

Available on crate feature colors only.