Struct OpenModule

pub struct OpenModule<State: CheckingState> {
    pub uri: ModuleURI,
    pub meta: Option<State::Module>,
    pub signature: Option<State::Sig>,
    pub elements: State::Seq<OpenDeclaration<State>>,
}

Fields

uri: ModuleURI

meta: Option<State::Module>

signature: Option<State::Sig>

elements: State::Seq<OpenDeclaration<State>>

Implementations

impl OpenModule<Unchecked>

pub fn check(self, checker: &mut impl ModuleChecker) -> Module

Trait Implementations

impl<State: Debug + CheckingState> Debug for OpenModule<State>

where State::Module: Debug, State::Sig: Debug, State::Seq<OpenDeclaration<State>>: Debug,

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OpenModule<Unchecked>

Available on crate feature serde only.

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl ModuleTrait for OpenModule<Checked>

fn declarations(&self) -> &[Declaration]

fn content_uri(&self) -> ContentURIRef<'_>

fn find<T: DeclarationTrait>(&self, steps: &[NameStep]) -> Option<&T>

impl<State: CheckingState> Serialize for OpenModule<State>

Available on crate feature serde only.

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.