Struct kailua_syntax::ast::TypeSpec

pub struct TypeSpec<T> {
    pub base: T,
    pub modf: MM,
    pub kind: Option<Spanned<Kind>>,
}

Any node that can be optionally annotated with a Kailua type.

Fields

base: T

The base node.

modf: MM

An extended modifier (e.g. const or module) for the type.

Defaults to MM::None when the annotation is absent. This is distinct from the type because --: const etc. are allowed.

kind: Option<Spanned<Kind>>

The type, if explicitly given.

Methods

impl<T> TypeSpec<T>

fn map<U, F: FnOnce(T) -> U>(self, f: F) -> TypeSpec<U>

Trait Implementations

impl<T: Clone> Clone for TypeSpec<T>

fn clone(&self) -> TypeSpec<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: PartialEq> PartialEq for TypeSpec<T>

fn eq(&self, __arg_0: &TypeSpec<T>) -> bool

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

fn ne(&self, __arg_0: &TypeSpec<T>) -> bool

This method tests for !=.

impl<T: Debug> Debug for TypeSpec<T>

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

Formats the value using the given formatter.