Method str

crates/common/src/env.rs:164–171

Constructs a name by appending a string component to `pre`.

(pre: Name, s: String)

  /// Constructs a name by appending a string component to `pre`.
  pub fn str(pre: Name, s: String) -> Self {
    let mut hasher = blake3::Hasher::new();
    hasher.update(&[NSTR]);
    hasher.update(pre.get_hash().as_bytes());
    hasher.update(s.as_bytes());
    let hash = hasher.finalize();
    Name(Arc::new(NameData::Str(pre, s, hash)))
  }

  /// Constructs a name by appending a numeric component to `pre`.
  pub fn num(pre: Name, n: Nat) -> Name {