Enum Parameterized 

pub enum Parameterized<T> {
    Concrete(T),
    Param {
        span: SourceSpan,
        param: Param,
    },
}

A type that can either be concrete or a param.

Variants

Concrete(T)

A concrete type

Param

A parameter and the location where it’s used (for type checking)

Fields

span: SourceSpan

The location where the param is used

param: Param

The param

Implementations

impl<T> Parameterized<T>

pub fn map_concrete<O, F: Fn(T) -> O>(self, f: F) -> Parameterized<O>

Map the concrete value.

pub fn try_map_concrete<O, E, F: Fn(T) -> Result<O, E>>( self, f: F, ) -> Result<Parameterized<O>, E>

Try to map the concrete value.

pub fn is_param(&self) -> bool

Returns true if the type is a param.

pub fn is_concrete(&self) -> bool

Returns true if the type is a concrete value.

Trait Implementations

impl<T: Clone> Clone for Parameterized<T>

fn clone(&self) -> Parameterized<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Parameterized<T>

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

Formats the value using the given formatter.

impl<'de, T> Deserialize<'de> for Parameterized<T>

where T: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Display for Parameterized<T>

where T: Display,

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

Formats the value using the given formatter.

impl<T: PartialEq> PartialEq for Parameterized<T>

fn eq(&self, other: &Parameterized<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T> Serialize for Parameterized<T>

where T: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Eq> Eq for Parameterized<T>

impl<T> StructuralPartialEq for Parameterized<T>