vize_l2 0.481.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

use super::BindingId;
use vize_l0::Span;

/// Dense identity local to one genuine For resolution, never a File BindingId.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct ForAliasId(pub(in crate::resolution) u8);
impl ForAliasId {
    #[must_use]
    pub const fn index(self) -> u32 {
        self.0 as u32
    }
}

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ForAliasRole {
    Value,
    Key,
}

/// Only the owning original Params walk mints a declaration fact.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct ForAlias<'a> {
    pub(in crate::resolution) id: ForAliasId,
    pub(in crate::resolution) name: &'a str,
    pub(in crate::resolution) role: ForAliasRole,
    pub(in crate::resolution) decoded: Span,
    pub(in crate::resolution) authored: Span,
}
impl<'a> ForAlias<'a> {
    #[must_use]
    pub const fn id(self) -> ForAliasId {
        self.id
    }
    #[must_use]
    pub const fn name(self) -> &'a str {
        self.name
    }
    #[must_use]
    pub const fn role(self) -> ForAliasRole {
        self.role
    }
    #[must_use]
    pub const fn decoded_span(self) -> Span {
        self.decoded
    }
    #[must_use]
    pub const fn authored_span(self) -> Span {
        self.authored
    }
}

/// Local and enclosing IDs cannot accidentally alias one another numerically.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ForResolvedBinding {
    Local(ForAliasId),
    Enclosing(BindingId),
}