Struct PackageDefinition 

pub struct PackageDefinition {
    pub modules: IndexMap<String, AccessControlled<ModuleDefinition>>,
}

Package definition

Fields

modules: IndexMap<String, AccessControlled<ModuleDefinition>>

Implementations

impl PackageDefinition

pub fn to_specification(&self) -> PackageSpecification

The public face of this package: the specification a reader of it sees.

Only public modules, types and values appear, and each loses what a specification does not carry: a custom type whose constructors are private becomes opaque, as does an incomplete type definition, since neither has a public shape to publish. A definition carries no annotations, so the specification derived from one has none.

This is infallible, so a public value definition with no output type is skipped rather than refused: a specification states a value’s type, and one still being inferred has nothing to state yet.

Trait Implementations

impl Clone for PackageDefinition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PackageDefinition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PackageDefinition

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl LinkedMetadataCarrier for PackageDefinition

fn contains_linked_metadata(&self) -> bool

impl PartialEq for PackageDefinition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PackageDefinition

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PackageDefinition