Enum TypeSpec

pub enum TypeSpec {
    Tuple(Vec<Loc<TypeExpression>>),
    Array {
        inner: Box<Loc<TypeExpression>>,
        size: Box<Loc<TypeExpression>>,
    },
    Named(Loc<Path>, Option<Loc<Vec<Loc<TypeExpression>>>>),
    Inverted(Box<Loc<TypeExpression>>),
    Wire(Box<Loc<TypeExpression>>),
    Wildcard,
}

A specification of a type to be used. For example, the types of input/output arguments the type of fields in a struct etc.

Variants

Tuple(Vec<Loc<TypeExpression>>)

Array

Fields

inner: Box<Loc<TypeExpression>>

size: Box<Loc<TypeExpression>>

Named(Loc<Path>, Option<Loc<Vec<Loc<TypeExpression>>>>)

Inverted(Box<Loc<TypeExpression>>)

An inverted signal (~), its “direction” is the inverse of normal. A ~&T taken as an argument is an output, and a returned ~&T is an input. This used to be expressed as &mut T Inversions cancel each other, i.e. ~~&T is effectively &T Inverted signals are ports. If applied to a struct port, all fields are inverted.

Wire(Box<Loc<TypeExpression>>)

Wildcard

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpec

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

Formats the value using the given formatter.

impl Display for TypeSpec

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

Formats the value using the given formatter.

impl PartialEq for TypeSpec

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

fn at(self, file_id: usize, span: &impl HasCodespan) -> Loc<Self>

where Self: Sized,

fn at_loc<T>(self, loc: &Loc<T>) -> Loc<Self>

Creates a new Loc from another Loc

fn between( self, file_id: usize, start: &impl HasCodespan, end: &impl HasCodespan, ) -> Loc<Self>

fn between_locs<T, Y>(self, start: &Loc<T>, end: &Loc<Y>) -> Loc<Self>

fn nowhere(self) -> Loc<Self>

where Self: Sized,

impl StructuralPartialEq for TypeSpec