Enum RecursionKind 

pub enum RecursionKind {
    NonRecursive,
    DirectRecursive,
    MutuallyRecursive,
    NestedRecursive,
}

Type of recursion in a predicate

Variants

NonRecursive

Not recursive

DirectRecursive

Directly recursive (predicate appears in its own rules)

MutuallyRecursive

Mutually recursive with other predicates

NestedRecursive

Nested recursion (recursive calls within recursive calls)

Trait Implementations

impl Clone for RecursionKind

fn clone(&self) -> RecursionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecursionKind

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

Formats the value using the given formatter.

impl PartialEq for RecursionKind

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

impl Eq for RecursionKind

impl StructuralPartialEq for RecursionKind