Struct proto_vulcan::lresult::LResult

pub struct LResult<U: UserState>(pub Rc<LTerm>, pub Rc<ConstraintStore<U>>);

Implementations

impl<U: UserState> LResult<U>

pub fn is_any_except<T>(&self, exception: &T) -> bool where
    T: PartialEq<LTerm>, 

Check if the wrapped LTerm is an Any-variable with constraints such that it cannot be the exception.

pub fn is_constrained(&self) -> bool

Check if the wrapped LTerm is constrained by any constraint.

pub fn constraints<'a>(&'a self) -> impl Iterator<Item = &'a Constraint<U>>

Returns iterator to constraints that refer to the wrapped LTerm.

Methods from Deref<Target = Rc<LTerm>>

Trait Implementations

impl<U: Clone + UserState> Clone for LResult<U>

fn clone(&self) -> LResult<U>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<U: Debug + UserState> Debug for LResult<U>

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

Formats the value using the given formatter.

impl<U: UserState> Deref for LResult<U>

type Target = Rc<LTerm>

The resulting type after dereferencing.

fn deref(&self) -> &Rc<LTerm>

Dereferences the value.

impl<U: UserState> Display for LResult<U>

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

Formats the value using the given formatter.

impl<U: UserState, '_> PartialEq<&'_ str> for LResult<U>

fn eq(&self, other: &&str) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for LTerm

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for Rc<LTerm>

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for LValue

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for bool

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for isize

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for char

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LResult<U>> for String

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState, '_> PartialEq<LResult<U>> for &'_ str

fn eq(&self, other: &LResult<U>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LTerm> for LResult<U>

fn eq(&self, other: &LTerm) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<LValue> for LResult<U>

fn eq(&self, other: &LValue) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<Rc<LTerm>> for LResult<U>

fn eq(&self, other: &Rc<LTerm>) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<String> for LResult<U>

fn eq(&self, other: &String) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<bool> for LResult<U>

fn eq(&self, other: &bool) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<char> for LResult<U>

fn eq(&self, other: &char) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<U: UserState> PartialEq<isize> for LResult<U>

fn eq(&self, other: &isize) -> bool

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.