Trait swipl::term::TermPutable

pub unsafe trait TermPutable {
    // Required method
    fn put(&self, term: &Term<'_>);
}

Trait for putting data into a term reference.

Unlike unification, putting data into a term replaces the term entirely. This is a non-logical operation that doesn’t play nice with backtracking. You’re generally better off using unification.

Safety

This is marked unsafe because in order to do term putting, we must be sure that

• the term is created on the engine which is currently active
• the given context is a context for this engine

Not checking those preconditions results in undefined behavior. Therefore, care must be taken to ensure that put is actually safe.

The macro [term_putable!] provides a way to safely implement this trait by doing the precondition checks for you.

Required Methods

fn put(&self, term: &Term<'_>)

Put data into the term reference.

You’d generally not use this directly, but rather, go through Term::put.

Implementations on Foreign Types

impl<'a> TermPutable for bool

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for f64

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for i64

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for str

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for u64

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for String

fn put(&self, term: &Term<'_>)

impl<'a> TermPutable for [u8]

fn put(&self, term: &Term<'_>)

impl<T: ArcBlob> TermPutable for Arc<T>

fn put(&self, term: &Term<'_>)

Implementors

impl<'a> TermPutable for Atomable<'a>

impl<'a> TermPutable for Atom

impl<'a> TermPutable for DictBuilder<'a>

impl<'a> TermPutable for Functor

impl<'a> TermPutable for Record

impl<'a> TermPutable for Nil

impl<'a> TermPutable for Term<'a>