Struct prql_compiler::semantic::Module

pub struct Module {
    pub redirects: Vec<Ident>,
    pub shadowed: Option<Box<Decl>>,
    /* private fields */
}

Fields

redirects: Vec<Ident>

List of relative paths to include in search path when doing lookup in this module.

Assuming we want to lookup average, which is in std. The root module does not contain the average. So instead:

• look for average in root module and find nothing,
• follow redirects in root module,
• because of redirect std, so we look for average in std,
• there is average is std,
• result of the lookup is FQ ident std.average.

shadowed: Option<Box<Decl>>

A declaration that has been shadowed (overwritten) by this module.

Implementations

impl Module

pub fn singleton<S: ToString>(name: S, entry: Decl) -> Module

pub fn new() -> Module

pub fn insert(&mut self, ident: Ident, entry: Decl) -> Result<Option<Decl>>

pub fn get_mut(&mut self, ident: &Ident) -> Option<&mut Decl>

pub fn get(&self, fq_ident: &Ident) -> Option<&Decl>

Get namespace entry using a fully qualified ident.

pub fn lookup(&self, ident: &Ident) -> HashSet<Ident>

pub fn shadow(&mut self, ident: &str)

pub fn unshadow(&mut self, ident: &str)

pub fn stack_push(&mut self, ident: &str, namespace: Module)

pub fn stack_pop(&mut self, ident: &str) -> Option<Module>

pub fn as_decls(&self) -> Vec<(Ident, &Decl)>

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.

impl Default for Module

fn default() -> Module

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Module

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<Module> for Module

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Module

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 Module