Struct swipl::record::Record

pub struct Record { /* private fields */ }

A recorded term.

Recorded terms live off the stack, and remain valid until explicitely dropped. They can be used to copy terms to other threads, or to keep a template of a term around for repeated use.

Implementations

impl Record

pub fn from_term(term: &Term<'_>) -> Record

Extract a record from the given term.

pub fn recorded(&self, term: &Term<'_>) -> PrologResult<()>

Copy the recorded term into the given term reference.

Trait Implementations

impl Clone for Record

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Drop for Record

fn drop(&mut self)

Executes the destructor for this type.

impl<'a> TermGetable for Record

fn get(term: &Term<'_>) -> Option<Self>

Get data from a term reference.

fn name() -> &'static str

Get the name of this data type for use in exception reporting.

impl<'a> TermPutable for Record

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

Put data into the term reference.

impl<'a> Unifiable for Record

fn unify(&self, term: &Term<'_>) -> bool

Unify this data with the given term reference.