Struct TypeDef

#[non_exhaustive]
pub struct TypeDef {
    pub name: ScopedTypeName,
    pub ty: AlgebraicTypeRef,
    pub custom_ordering: bool,
}

A type exported by the module.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

name: ScopedTypeName

The (scoped) name of the type.

ty: AlgebraicTypeRef

The type to which the alias refers. Look in ModuleDef.typespace for the actual type, or in ModuleDef.typespace_for_generate for the client codegen version.

custom_ordering: bool

Whether this type has a custom ordering.

Trait Implementations

impl Clone for TypeDef

fn clone(&self) -> TypeDef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeDef

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

Formats the value using the given formatter.

impl From<TypeDef> for RawTypeDefV9

fn from(val: TypeDef) -> Self

Converts to this type from the input type.

impl ModuleDefLookup for TypeDef

type Key<'a> = &'a ScopedTypeName

A reference to a definition of this type within a module def. This reference should be portable across migrations.

fn key(&self) -> Self::Key<'_>

Get a reference to this definition.

fn lookup<'a>(module_def: &'a ModuleDef, key: Self::Key<'_>) -> Option<&'a Self>

Look up this entity in the module def.

impl PartialEq for TypeDef

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

impl StructuralPartialEq for TypeDef