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

use arret_syntax::datum::DataStr;
use arret_syntax::span::Span;

use crate::id_type::ArcId;

#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
pub enum Purity {
    Pure,
    Impure,
}

#[derive(PartialEq, Debug, Clone)]
pub struct PVar {
    span: Span,
    source_name: DataStr,
}

pub type PVarId = ArcId<PVar>;
pub type PVars = Vec<PVarId>;

impl PVar {
    pub fn new(span: Span, source_name: DataStr) -> PVarId {
        PVarId::new(PVar { span, source_name })
    }

    pub fn span(&self) -> Span {
        self.span
    }

    pub fn source_name(&self) -> &str {
        &self.source_name
    }
}

#[derive(Debug, PartialEq, Eq, Clone, Hash)]
pub enum Ref {
    Fixed(Purity),
    Var(PVarId),
}

impl From<Purity> for Ref {
    fn from(purity: Purity) -> Self {
        Ref::Fixed(purity)
    }
}

impl From<PVarId> for Ref {
    fn from(pvar: PVarId) -> Self {
        Ref::Var(pvar)
    }
}