1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use super::*;

impl Debug for Identifier {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("Identifier").field("path", &self.namespace.join("∷")).field("name", &self.name).finish()
    }
}

impl Display for Identifier {
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        for path in &self.namespace {
            f.write_str(path)?;
            if f.alternate() { f.write_str("::")? } else { f.write_str("∷")? }
        }
        f.write_str(&self.name)
    }
}