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 StructuralPartialEq for TypeSpec