Enum tl_scheme::Type

pub enum Type<'a> {
    Int,
    Named {
        ty: &'a str,
    },
    Generic {
        ty: &'a str,
        ty_param: Box<Type<'a>>,
    },
    Flagged {
        flags_field: &'a str,
        bit: u8,
        ty: Box<Type<'a>>,
    },
    Repeated {
        multiplicity: Option<u32>,
        ty: Vec<Field<'a>>,
    },
}

Variants

Int

Simple # (equivalent to u32)

Named

Fields

ty: &'a str

Full path to identifier

Generic

Fields

ty: &'a str

ty_param: Box<Type<'a>>

Full path to identifier with type param

Flagged

Fields

flags_field: &'a str

bit: u8

ty: Box<Type<'a>>

Conditional type

Repeated

Fields

multiplicity: Option<u32>

ty: Vec<Field<'a>>

Tuple type which can be multiplied

Trait Implementations

impl<'a> Clone for Type<'a>

fn clone(&self) -> Type<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Type<'a>

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

Formats the value using the given formatter.

impl Display for Type<'_>

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

Formats the value using the given formatter.

impl<'a> PartialEq<Type<'a>> for Type<'a>

fn eq(&self, other: &Type<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Eq for Type<'a>

impl<'a> StructuralEq for Type<'a>

impl<'a> StructuralPartialEq for Type<'a>