Struct ReceiverFactContext 

#[non_exhaustive]
pub struct ReceiverFactContext<'a> {
    pub type_environment: Option<&'a TypeEnvironment>,
    pub source: Option<&'a str>,
}

Context used while extracting a receiver fact.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

type_environment: Option<&'a TypeEnvironment>

Rich type environment available at the call site.

source: Option<&'a str>

Source text for distinguishing syntax that the AST intentionally erases, such as $hash{key} versus $hashref->{key}.

Implementations

impl<'a> ReceiverFactContext<'a>

pub fn new( type_environment: Option<&'a TypeEnvironment>, ) -> ReceiverFactContext<'a>

Creates a receiver-fact context from an optional type environment.

pub fn with_source(self, source: &'a str) -> ReceiverFactContext<'a>

Adds source text to the receiver-fact context.

Trait Implementations

impl<'a> Clone for ReceiverFactContext<'a>

fn clone(&self) -> ReceiverFactContext<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for ReceiverFactContext<'a>

impl<'a> Debug for ReceiverFactContext<'a>

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

Formats the value using the given formatter.

impl<'a> Default for ReceiverFactContext<'a>

fn default() -> ReceiverFactContext<'a>

Returns the “default value” for a type.