Struct Term

pub struct Term(/* private fields */);

Trait Implementations

impl<'lt> AsEnum for &'lt Term

type Enum = TermEnum<'lt>

fn as_enum(self) -> Self::Enum

impl<'lt> AsEnum for &'lt mut Term

type Enum = TermEnumMut<'lt>

fn as_enum(self) -> Self::Enum

impl Debug for Term

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

Formats the value using the given formatter.

impl From<Ref> for Term

fn from(value: Ref) -> Self

Converts to this type from the input type.

impl From<Term> for AnyNode

fn from(value: Term) -> Self

Converts to this type from the input type.

impl From<Term> for Expression

fn from(value: Term) -> Self

Converts to this type from the input type.

impl Identifiable for Term

fn get_id(&self) -> NodeId<Self>

impl PartialEq for Term

fn eq(&self, other: &Term) -> 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 RefCast for Term

type From = AnyNode

fn ref_cast(_from: &Self::From) -> &Self

fn ref_cast_mut(_from: &mut Self::From) -> &mut Self

impl SubEnum for Term

const VARIANTS: &'static [AnyNodeD]

fn contains(node: &AnyNode) -> bool

impl<'a> TryFrom<&'a AnyNode> for &'a Term

type Error = Skip<Infallible>

The type returned in the event of a conversion error.

fn try_from(value: &'a AnyNode) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a> TryFrom<&'a mut AnyNode> for &'a mut Term

type Error = Skip<Infallible>

The type returned in the event of a conversion error.

fn try_from(value: &'a mut AnyNode) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for Term