Trait SemanticEnumEx

pub trait SemanticEnumEx<'a>: Upcast<dyn SemanticGroup + 'a> {
    // Provided methods
    fn concrete_enum_variant(
        &self,
        concrete_enum_id: ConcreteEnumId,
        variant: &Variant,
    ) -> Maybe<ConcreteVariant> { ... }
    fn concrete_enum_variants(
        &self,
        concrete_enum_id: ConcreteEnumId,
    ) -> Maybe<Vec<ConcreteVariant>> { ... }
}

Provided Methods

fn concrete_enum_variant( &self, concrete_enum_id: ConcreteEnumId, variant: &Variant, ) -> Maybe<ConcreteVariant>

Retrieves the ConcreteVariant for a ConcreteEnumId and a Variant.

fn concrete_enum_variants( &self, concrete_enum_id: ConcreteEnumId, ) -> Maybe<Vec<ConcreteVariant>>

Retrieves all the ConcreteVariants for a ConcreteEnumId.

Implementors

impl<'a, T: Upcast<dyn SemanticGroup + 'a> + ?Sized> SemanticEnumEx<'a> for T