Trait swipl::context::IntoPrologException

pub trait IntoPrologException {
    // Required method
    fn into_prolog_exception<'a, T: QueryableContextType>(
        self,
        context: &'a Context<'_, T>
    ) -> PrologResult<Term<'a>>;
}

Trait for turning errors into prolog exceptions

Required Methods

fn into_prolog_exception<'a, T: QueryableContextType>( self, context: &'a Context<'_, T> ) -> PrologResult<Term<'a>>

Turns this error into a prolog exception using the given context.

The result is a Term containing the prolog exception.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl IntoPrologException for Error

fn into_prolog_exception<'a, T: QueryableContextType>( self, context: &'a Context<'_, T> ) -> PrologResult<Term<'a>>

Implementors