Enum ConcreteType

pub enum ConcreteType {
    Tuple(Vec<ConcreteType>),
    Struct {
        name: NameID,
        is_port: bool,
        members: Vec<(Identifier, ConcreteType)>,
    },
    Array {
        inner: Box<ConcreteType>,
        size: BigInt,
    },
    Enum {
        options: Vec<(NameID, Vec<(Identifier, ConcreteType)>)>,
    },
    Single {
        base: PrimitiveType,
        params: Vec<ConcreteType>,
    },
    Integer(BigInt),
    Bool(bool),
    Backward(Box<ConcreteType>),
    Wire(Box<ConcreteType>),
}

Variants

Tuple(Vec<ConcreteType>)

Struct

Fields

name: NameID

is_port: bool

members: Vec<(Identifier, ConcreteType)>

Array

Fields

inner: Box<ConcreteType>

size: BigInt

Enum

Fields

options: Vec<(NameID, Vec<(Identifier, ConcreteType)>)>

Single

Fields

base: PrimitiveType

params: Vec<ConcreteType>

Integer(BigInt)

Bool(bool)

Backward(Box<ConcreteType>)

Wire(Box<ConcreteType>)

Implementations

impl ConcreteType

pub fn assume_struct(&self) -> (&NameID, &Vec<(Identifier, ConcreteType)>)

pub fn is_port(&self) -> bool

Trait Implementations

impl Clone for ConcreteType

fn clone(&self) -> ConcreteType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConcreteType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConcreteType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ConcreteType

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

Formats the value using the given formatter.

impl PartialEq for ConcreteType

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ConcreteType