Enum UniversalOr

#[non_exhaustive]
pub enum UniversalOr<T>
where
    T: StructFieldType,
{
    Specific(Handle<Struct<T, Unvalidated>>),
    Universal(UniversalStructHandle),
}

Structs can always be the Universal struct type, but may also be a more specific type depending on context

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Specific(Handle<Struct<T, Unvalidated>>)

Universal(UniversalStructHandle)

Implementations

impl<T> UniversalOr<T>

where T: StructFieldType,

pub fn name(&self) -> &Name

pub fn declaration(&self) -> StructDeclarationHandle

pub fn typed_declaration(&self) -> UniversalDeclarationOr<T>

pub fn to_struct_type(&self) -> StructType<Unvalidated>

Trait Implementations

impl<T> Clone for UniversalOr<T>

where T: StructFieldType + Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for UniversalOr<T>

where T: StructFieldType + Debug,

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

Formats the value using the given formatter.

impl<T> From<Handle<Struct<T, Unvalidated>>> for UniversalOr<T>

where T: StructFieldType,

fn from(x: Handle<Struct<T, Unvalidated>>) -> Self

Converts to this type from the input type.

impl From<UniversalOr<FunctionReturnStructField>> for IteratorItemType

fn from(x: UniversalOr<FunctionReturnStructField>) -> Self

Converts to this type from the input type.

impl<T> InitializerValidator for UniversalOr<T>

where T: StructFieldType,

fn validate_default_value( &self, value: &InitializerDefault, ) -> BindResult<ValidatedDefaultValue>

Check that the value is valid for the type

fn bad_initializer_value( field_type: String, value: &InitializerDefault, ) -> BindResult<ValidatedDefaultValue>

impl<T> PartialEq for UniversalOr<T>

where T: StructFieldType,

fn eq(&self, other: &Self) -> 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> Eq for UniversalOr<T>

where T: StructFieldType + Eq,