Struct TermFlags

pub struct TermFlags {
    pub pure: bool,
    pub multi: bool,
    pub partial: bool,
}

Flags from a term’s declaration with (decl ...).

Fields

pure: bool

Whether the term is marked as pure.

multi: bool

Whether the term is marked as multi.

partial: bool

Whether the term is marked as partial.

Implementations

impl TermFlags

pub fn on_lhs(self) -> Self

Return a new TermFlags suitable for a term on the LHS of a rule.

Trait Implementations

impl Clone for TermFlags

fn clone(&self) -> TermFlags

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TermFlags

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

Formats the value using the given formatter.

impl PartialEq for TermFlags

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TermFlags

impl Eq for TermFlags

impl StructuralPartialEq for TermFlags