Struct Type 

pub struct Type {
    pub ins: Vec<Scalar>,
    pub outs: Vec<Scalar>,
}

A block/diagram type: the scalar type of each input and output wire.

The vector lengths are the arities. During inference we usually know the arities as concrete integers; unification only touches the Scalars.

Fields

ins: Vec<Scalar>

Scalar type of each input wire (len = input arity).

outs: Vec<Scalar>

Scalar type of each output wire (len = output arity).

Implementations

impl Type

pub fn uniform(n_in: usize, n_out: usize, s: Scalar) -> Type

A (n_in → n_out) type where every wire has the same scalar s.

pub fn arity_in(&self) -> usize

Input arity.

pub fn arity_out(&self) -> usize

Output arity.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl PartialEq for Type

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