Struct OperatorContext 

pub struct OperatorContext<L, B>(/* private fields */);

The context type for quoted closures (q!(...)) passed to operators on live collections.

This bundles the crate::location::Location where the collection is materialized with a marker for the boundedness::Boundedness of the collection the closure operates on. Free variables captured inside such closures can constrain both components. For example, reference handles created via by_ref() / by_mut() (see crate::handoff_ref) require that both the location and the boundedness of the referenced collection match those of the collection whose operator captures the reference. This prevents, e.g., a reference to a boundedness::Bounded singleton from being accessed inside a map over an boundedness::Unbounded stream: the singleton is only materialized on the first tick, while the closure keeps running on later ticks, where accessing the reference would crash.

Trait Implementations

impl<'a, L: Location<'a>, B> ContextWithLocation<'a> for OperatorContext<L, B>

type Location = L

The location type of this context.

fn context_location(&self) -> &L

Extracts the location of the splice site from this context.

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for SingletonRef<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a T

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for SingletonMut<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a mut T

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for OptionalRef<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a Option<T>

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for OptionalMut<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a mut Option<T>

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for StreamRef<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a Vec<T>

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O

impl<'a, 'slf, T: 'a, L, B> FreeVariableWithContextWithProps<OperatorContext<L, B>, ()> for StreamMut<'a, 'slf, T, L, B>

where L: Location<'a>,

type O = &'a mut Vec<T>

fn to_tokens(self, _ctx: &OperatorContext<L, B>) -> (QuoteTokens, ())

fn uninitialized(&self, _ctx: &Ctx) -> fn() -> Self::O