Struct ModuleManifest 

pub struct ModuleManifest {
    pub name: String,
    pub role: ModuleRole,
    pub predicates: BTreeSet<String>,
    pub held_out: bool,
}

Module manifest used by diagnostics.

Fields

name: String

Module name.

role: ModuleRole

Boundary role.

predicates: BTreeSet<String>

Predicates owned by this module.

held_out: bool

Whether this module represents held-out data.

Implementations

impl ModuleManifest

pub fn new<I, S>( name: impl Into<String>, role: ModuleRole, predicates: I, ) -> Self

where I: IntoIterator<Item = S>, S: Into<String>,

Construct a module manifest.

pub fn with_held_out(self, held_out: bool) -> Self

Mark whether the module contains held-out data.

Trait Implementations

impl Clone for ModuleManifest

fn clone(&self) -> ModuleManifest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleManifest

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

Formats the value using the given formatter.

impl PartialEq for ModuleManifest

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

impl StructuralPartialEq for ModuleManifest