Struct tvix_eval::value::string::NixContext

#[repr(transparent)]
pub struct NixContext(HashSet<NixContextElement>);

Nix context strings representation in Tvix. This tracks a set of different kinds of string dependencies that we can come across during manipulation of our language primitives, mostly strings. There’s some simple algebra of context strings and how they propagate w.r.t. primitive operations, e.g. concatenation, interpolation and other string operations.

Tuple Fields

0: HashSet<NixContextElement>

Implementations

impl NixContext

pub fn new() -> Self

Creates an empty context that can be populated and passed to form a contextful NixString, albeit if the context is concretly empty, the resulting NixString will be contextless.

pub(crate) fn is_empty(&self) -> bool

For internal consumers, we let people observe if the NixContext is actually empty or not to decide whether they want to skip the allocation of a full blown HashSet.

pub fn append(self, other: NixContextElement) -> Self

Consumes a new NixContextElement and add it if not already present in this context.

pub fn extend<T>(&mut self, iter: T)

where T: IntoIterator<Item = NixContextElement>,

Extends the existing context with more context elements.

pub fn mimic(&mut self, other: &NixString)

Copies from another NixString its context strings in this context.

pub fn iter_plain(&self) -> impl Iterator<Item = &str>

Iterates over “plain” context elements, e.g. sources imported in the store without more information, i.e. toFile or coerced imported paths. It yields paths to the store.

pub fn iter_derivation(&self) -> impl Iterator<Item = &str>

Iterates over “full derivations” context elements, e.g. something referring to their drvPath, i.e. their full sources and binary closure. It yields derivation paths.

pub fn iter_single_outputs(&self) -> impl Iterator<Item = (&str, &str)>

Iterates over “single” context elements, e.g. single derived paths, or also known as the single output of a given derivation. The first element of the tuple is the output name and the second element is the derivation path.

pub fn iter(&self) -> impl Iterator<Item = &NixContextElement>

Iterates over any element of the context.

pub fn to_owned_references(self) -> Vec<String>

Produces a list of owned references to this current context, no matter its type.

Trait Implementations

impl Clone for NixContext

fn clone(&self) -> NixContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NixContext

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

Formats the value using the given formatter.

impl Default for NixContext

fn default() -> NixContext

Returns the “default value” for a type.

impl<const N: usize> From<[NixContextElement; N]> for NixContext

fn from(value: [NixContextElement; N]) -> Self

Converts to this type from the input type.

impl From<HashSet<NixContextElement>> for NixContext

fn from(value: HashSet<NixContextElement>) -> Self

Converts to this type from the input type.

impl From<NixContextElement> for NixContext

fn from(value: NixContextElement) -> Self

Converts to this type from the input type.

impl IntoIterator for NixContext

type Item = NixContextElement

The type of the elements being iterated over.

type IntoIter = IntoIter<NixContextElement>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl Serialize for NixContext

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.