Struct ActionEntityUID 

pub struct ActionEntityUID<N> {
    pub id: SmolStr,
    pub ty: Option<N>,
}

Represents the crate::ast::EntityUID of an action

Fields

id: SmolStr

Represents the crate::ast::Eid of the action

ty: Option<N>

Represents the type of the action. None is shorthand for Action. If this is Some, the last component of the N should be Action.

INVARIANT: This can only be None in the N = RawName case. This invariant is upheld by all the code below that constructs ActionEntityUID. We also rely on ActionEntityUID<N> only being Deserialize for N = RawName, so that you can’t create an ActionEntityUID that violates this invariant via deserialization.

Implementations

impl ActionEntityUID<RawName>

pub fn new(ty: Option<RawName>, id: SmolStr) -> Self

Create a new ActionEntityUID<RawName>. ty = None is shorthand for Action.

pub fn default_type(id: SmolStr) -> Self

Given an id, get the ActionEntityUID representing Action::<id>.

impl ActionEntityUID<RawName>

pub fn conditionally_qualify_type_references( self, ns: Option<&InternalName>, ) -> ActionEntityUID<ConditionalName>

(Conditionally) prefix this action entity UID’s typename with the given namespace

pub fn qualify_with( self, ns: Option<&InternalName>, ) -> ActionEntityUID<InternalName>

Unconditionally prefix this action entity UID’s typename with the given namespace

impl ActionEntityUID<ConditionalName>

pub fn ty(&self) -> &ConditionalName

Get the action type, as a ConditionalName.

pub fn fully_qualify_type_references( self, all_defs: &AllDefs, ) -> Result<ActionEntityUID<InternalName>, ActionNotDefinedError>

Convert this ActionEntityUID<ConditionalName> into an ActionEntityUID<InternalName> by fully-qualifying its typename.

all_defs needs to contain the full set of all fully-qualified typenames and actions that are defined in the schema (in all schema fragments). This ActionEntityUID<ConditionalName> must resolve to something defined in all_defs or else it throws ActionNotDefinedError.

impl ActionEntityUID<Name>

pub fn ty(&self) -> &Name

Get the action type, as a Name.

impl ActionEntityUID<InternalName>

pub fn ty(&self) -> &InternalName

Get the action type, as an InternalName.

Trait Implementations

impl<N: Clone> Clone for ActionEntityUID<N>

fn clone(&self) -> ActionEntityUID<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N: Debug> Debug for ActionEntityUID<N>

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

Formats the value using the given formatter.

impl<'de, N> Deserialize<'de> for ActionEntityUID<N>

where N: Deserialize<'de> + From<RawName>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<N: Display> Display for ActionEntityUID<N>

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

Formats the value using the given formatter.

impl From<ActionEntityUID<Name>> for EntityUID

fn from(aeuid: ActionEntityUID<Name>) -> Self

Converts to this type from the input type.

impl From<EntityUID> for ActionEntityUID<Name>

fn from(euid: EntityUID) -> Self

Converts to this type from the input type.

impl<N> Hash for ActionEntityUID<N>

where SmolStr: Hash, Option<N>: Hash,

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<N> PartialEq for ActionEntityUID<N>

where SmolStr: PartialEq, Option<N>: PartialEq,

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<N> Serialize for ActionEntityUID<N>

where N: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<ActionEntityUID<InternalName>> for EntityUID

type Error = <InternalName as TryInto<Name>>::Error

The type returned in the event of a conversion error.

fn try_from( aeuid: ActionEntityUID<InternalName>, ) -> Result<Self, <InternalName as TryInto<Name>>::Error>

Performs the conversion.

impl<N> Eq for ActionEntityUID<N>

where SmolStr: PartialEq, Option<N>: PartialEq,