Struct TypeDecl 

pub struct TypeDecl<P: Phase = Raw> {
    pub visibility: BindableVisibility,
    pub name: Spanned<StructTypeName>,
    pub generic_params: Vec<GenericParam<P>>,
    pub body: TypeDeclBody<P>,
}

Type declaration: required type stubs and tagged-union bodies.

Forms:

• Required type: type T; — the library requires a type bound from outside; no body at declaration.
• Tagged union: type Maneuver { Impulsive(delta_v: Velocity), Coast }
• Record-shaped type: type Position { Position(x: Length, y: Length) }, a single-variant union whose constructor name matches the type name.

Fields

visibility: BindableVisibility

name: Spanned<StructTypeName>

generic_params: Vec<GenericParam<P>>

body: TypeDeclBody<P>

Trait Implementations

impl<P: Clone + Phase> Clone for TypeDecl<P>

fn clone(&self) -> TypeDecl<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for TypeDecl<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for TypeDecl

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<TypeDecl> for TypeDecl<Desugared>

fn from(t: TypeDecl<Raw>) -> Self

Converts to this type from the input type.