Struct swipl::callable::LazyCallablePredicate

pub struct LazyCallablePredicate<const N: usize> { /* private fields */ }

Looks up a predicate on first call to as_callable and keeps it cached afterwards.

This is used by both the prolog! macro and the pred! macro to only look up a predicate once.

Implementations

impl<const N: usize> LazyCallablePredicate<N>

pub const fn new(module: Option<&'static str>, name: &'static str) -> Self

Create a new LazyCallablepredicate from a module, a name, and the const type argument which is used as arity.

pub fn as_callable(&self) -> CallablePredicate<N>

Return a CallablePredicate from the information in this struct.

If this was previously called for this struct, it’ll return what it previously looked up. Otherwise, it’ll do the lookup.

Trait Implementations

impl<'a, const N: usize> Callable<N> for &'a LazyCallablePredicate<N>

type ContextType = OpenQuery

fn open<'b, C: ContextType>( self, context: &'b Context<'_, C>, module: Option<Module>, args: [&Term<'_>; N] ) -> Context<'b, OpenQuery>

impl<const N: usize> Callable<N> for LazyCallablePredicate<N>

type ContextType = OpenQuery

fn open<'a, C: ContextType>( self, context: &'a Context<'_, C>, module: Option<Module>, args: [&Term<'_>; N] ) -> Context<'a, OpenQuery>