Struct kontroli::scope::rterm::RTerm

pub struct RTerm<'s>(_);

Pointer to a term.

Implementations

impl<'s> RTerm<'s>

pub fn new(tm: Term<'s>) -> Self

pub fn get(self) -> Term<'s>

Unbox the term.

It would be more elegant to implement a trait here. However, we cannot reproduce the dereferencing behaviour of Box, because only Box allows for dereferencing and moving at the same time due to being a special type. See https://manishearth.github.io/blog/2017/01/10/rust-tidbits-box-is-special/.

Trait Implementations

impl<'s> Clone for RTerm<'s>

fn clone(&self) -> RTerm<'s>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'s> Debug for RTerm<'s>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'s> Default for RTerm<'s>

fn default() -> RTerm<'s>

Returns the "default value" for a type.

impl<'s> Eq for RTerm<'s>

impl<'s> From<RTerm<'s>> for RTerm<'s>

fn from(tm: SRTerm<'s>) -> Self

Performs the conversion.

impl<'s> From<RTerm<'s>> for RTerm<'s>

fn from(tm: SRTerm<'s>) -> Self

Performs the conversion.

impl<'s> PartialEq<RTerm<'s>> for RTerm<'s>

fn eq(&self, other: &RTerm<'s>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &RTerm<'s>) -> bool

This method tests for !=.

impl<'s> StructuralEq for RTerm<'s>

impl<'s> StructuralPartialEq for RTerm<'s>