Trait swipl::context::ContextType

pub unsafe trait ContextType { }

A type of context.

This is the object that is wrapped by Context. Implementors can use this to hold context-specific information. Any functions are to be implemented on Context<YourContextType>.

Safety

An active context ensures that callers are allowed to interact with SWI-Prolog environments. Therefore, a bunch of assertions are not performed. If an implementor to ensure that SWI-Prolog environment is active, then this might lead to undefined behavior.

Implementors

impl ContextType for Frame

impl ContextType for GenericQueryableContextType

impl ContextType for Unmanaged

impl<'a> ContextType for ActivatedEngine<'a>

impl<T: OpenCall> ContextType for T