Struct kontroli::arc::RTerm

pub struct RTerm<'s>(_);

Pointer to a shared term.

Implementations

impl<'s> RTerm<'s>

pub fn convertible(tm1: Self, tm2: Self, sig: &Signature<'s>) -> bool

Return true if the given terms have a common redex.

impl<'s> RTerm<'s>

pub fn whnf(self, sig: &Signature<'s>) -> Self

Return the weak head normal form of the term.

impl<'s> RTerm<'s>

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

Create a term pointer from a term.

pub fn apply(self, args: Vec<RTerm<'s>>) -> Self

Apply some terms to the term.

pub fn ptr_eq(&self, other: &Self) -> bool

Compare the memory addresses of two term pointers.

impl<'s> RTerm<'s>

pub fn apply_subst<S>(self, subst: &S, k: usize) -> Self where
    S: Fn(usize, usize) -> RTerm<'s>, 

pub fn subst(self, u: &RTerm<'s>) -> Self

Methods from Deref<Target = Term<'s>>

pub fn infer(&self, sig: &Signature<'s>) -> Result<RTerm<'s>, Error>

Infer the type of a closed term.

pub fn check(
    &self,
    sig: &Signature<'s>,
    ty_exp: RTerm<'s>
) -> Result<bool, Error>

Check whether a closed term is of a given type.

pub fn infer(&self, sig: &Signature<'s>) -> Result<RTerm<'s>, Error>

Infer the type of a closed term.

pub fn check(
    &self,
    sig: &Signature<'s>,
    ty_exp: RTerm<'s>
) -> Result<bool, Error>

Check whether a closed term is of a given type.

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> Deref for RTerm<'s>

type Target = Term<'s>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'s> Display for RTerm<'s>

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

Formats the value using the given formatter.

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

impl<'s> Evaluate<RTerm<'s>> for RState<'s>

fn evaluate(self) -> RTerm<'s>

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

fn from(s: RState<'s>) -> Self

Performs the conversion.

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

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

Performs the conversion.

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

fn from(state: State<'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> Shl<usize> for RTerm<'s>

Definition of << for terms.

type Output = Self

The resulting type after applying the << operator.

fn shl(self, rhs: usize) -> Self::Output

Performs the << operation.

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

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