Struct TypeAlias 

pub struct TypeAlias {
    pub name: String,
    pub ty: AlgebraicTypeRef,
}

Fields

name: String

ty: AlgebraicTypeRef

Trait Implementations

impl Clone for TypeAlias

fn clone(&self) -> TypeAlias

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAlias

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeAlias

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given deserializer.

impl Serialize for TypeAlias

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

Serialize self in the data format of S using the provided serializer.

impl SpacetimeType for TypeAlias

fn make_type<S: TypespaceBuilder>(__typespace: &mut S) -> AlgebraicType

Returns an AlgebraicType representing the type for Self in SATS and in the typing context in typespace. This is used by the automatic type registration system in Rust modules.