Trait tydi::generator::Typify

pub trait Typify {
    fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>;

    fn user(&self, _prefix: impl Into<String>) -> Option<Type> { ... }
}

Trait to create common representation types from things in the canonical way and user-friendly way.

Required methods

fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>

Loading content...

Provided methods

fn user(&self, _prefix: impl Into<String>) -> Option<Type>

Loading content...

Implementors

impl Typify for LogicalStreamType

fn user(&self, prefix: impl Into<String>) -> Option<Type>

This implementation for LogicalStreamType assumes the LogicalStreamType has already been flattened through synthesize.

fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>

impl Typify for Group

fn user(&self, prefix: impl Into<String>) -> Option<Type>

fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>

impl Typify for Stream

fn user(&self, prefix: impl Into<String>) -> Option<Type>

This implementation for Stream assumes the parent LogicalStreamType has already been flattened through synthesize.

fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>

This implementation for Stream assumes the parent LogicalStreamType has already been flattened through synthesize.

impl Typify for Union

fn user(&self, prefix: impl Into<String>) -> Option<Type>

fn canonical(&self, prefix: impl Into<String>) -> Vec<Signal>

Loading content...