Struct Env

pub struct Env<'sg, LABEL: 'sg, DATA>(/* private fields */);

Representation of an environment (i.e., a collection of resolved paths).

Implementations

impl<'sg, LABEL, DATA> Env<'sg, LABEL, DATA>

pub fn new() -> Self

Creates an empty environemnt.

pub fn iter<'a>( &'a self, ) -> impl Iterator<Item = &'a ResolvedPath<'sg, LABEL, DATA>> + 'a

Create an iterator over all paths in the environment.

pub fn is_empty(&self) -> bool

Returns true is the environment is empty, false otherwise.

impl<'sg, LABEL, DATA> Env<'sg, LABEL, DATA>

where ResolvedPath<'sg, LABEL, DATA>: Eq + Hash + Clone,

pub fn single(path: ResolvedPath<'sg, LABEL, DATA>) -> Self

Create an environment with a single path.

pub fn insert(&mut self, path: ResolvedPath<'sg, LABEL, DATA>)

Insert a path in the environment.

pub fn merge(&mut self, other: &Self)

Add all paths in other to the current environment.

Trait Implementations

impl<'sg, LABEL: 'sg + Clone, DATA> Clone for Env<'sg, LABEL, DATA>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'sg, LABEL: Debug + 'sg, DATA: Debug> Debug for Env<'sg, LABEL, DATA>

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

Formats the value using the given formatter.

impl<LABEL, DATA> Default for Env<'_, LABEL, DATA>

fn default() -> Self

Returns the “default value” for a type.

impl<'sg: 'rslv, 'rslv, LABEL, DATA> EnvContainer<'sg, 'rslv, LABEL, DATA> for Env<'sg, LABEL, DATA>

where ResolvedPath<'sg, LABEL, DATA>: Hash + Eq,

fn empty() -> Self

Creates a new, container with an empty environment.

fn flat_map( &self, map: impl 'rslv + for<'short> FnOnce(&'short Env<'sg, LABEL, DATA>) -> Self, ) -> Self

Maps the current container to a new one, based a provided mapping of the underlying environment.

impl<'sg: 'rslv, 'rslv, LABEL, DATA> From<Env<'sg, LABEL, DATA>> for FutureWrapper<'rslv, Env<'sg, LABEL, DATA>>

where LABEL: Clone,

fn from(value: Env<'sg, LABEL, DATA>) -> Self

Converts to this type from the input type.

impl<'sg, LABEL: 'sg, DATA: 'sg, E> From<Env<'sg, LABEL, DATA>> for Result<Env<'sg, LABEL, DATA>, E>

fn from(value: Env<'sg, LABEL, DATA>) -> Self

Converts to this type from the input type.

impl<'sg, LABEL: 'sg, DATA: Hash> FromIterator<Env<'sg, LABEL, DATA>> for Env<'sg, LABEL, DATA>

where ResolvedPath<'sg, LABEL, DATA>: Eq + Hash,

fn from_iter<T: IntoIterator<Item = Env<'sg, LABEL, DATA>>>(iter: T) -> Self

Creates a value from an iterator.

impl<'sg, LABEL: 'sg, DATA: Hash> FromIterator<ResolvedPath<'sg, LABEL, DATA>> for Env<'sg, LABEL, DATA>

where ResolvedPath<'sg, LABEL, DATA>: Eq + Hash,

fn from_iter<T: IntoIterator<Item = ResolvedPath<'sg, LABEL, DATA>>>( iter: T, ) -> Self

Creates a value from an iterator.

impl<'sg, LABEL, DATA> IntoIterator for Env<'sg, LABEL, DATA>

type Item = ResolvedPath<'sg, LABEL, DATA>

The type of the elements being iterated over.

type IntoIter = <HashSet<ResolvedPath<'sg, LABEL, DATA>> as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.