Struct ModuleDeclaration 

pub struct ModuleDeclaration {
    pub module: String,
    pub predicate: String,
    pub kind: ModuleDeclarationKind,
}

Declaration observed during module-boundary analysis.

Fields

module: String

Module containing the declaration.

predicate: String

Predicate named by the declaration.

kind: ModuleDeclarationKind

Declaration kind.

Implementations

impl ModuleDeclaration

pub fn fact(module: impl Into<String>, predicate: impl Into<String>) -> Self

Fact declaration.

pub fn rule(module: impl Into<String>, predicate: impl Into<String>) -> Self

Rule declaration.

pub fn candidate_source( module: impl Into<String>, predicate: impl Into<String>, source: CandidateSourceKind, ) -> Self

Candidate provenance declaration.

Trait Implementations

impl Clone for ModuleDeclaration

fn clone(&self) -> ModuleDeclaration

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDeclaration

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

Formats the value using the given formatter.

impl Eq for ModuleDeclaration

impl PartialEq for ModuleDeclaration

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