Struct CalyxControl

pub struct CalyxControl<T: CalyxControlType> { /* private fields */ }

A wrapper around calyx_ir::Control for scoped building.

Implementations

impl<T: CalyxControlType> CalyxControl<T>

pub fn seq<F>(&mut self, f: F)

where F: FnOnce(&mut CalyxControl<Sequential>),

Opens a seq context where f is called. For instance,

fn add_seq(control: &mut CalyxControl, my_group: &CalyxGroup) {
    control.seq(|s| {
        s.enable(my_group);
    });
}

produces the following calyx:

...
seq {
    my_group;
}
...

pub fn par<F>(&mut self, f: F)

where F: FnOnce(&mut CalyxControl<Parallel>),

Opens a par context. See CalyxControl::seq for details.

pub fn if_<F>( &mut self, port: CalyxPort, cond: Option<CalyxCombGroup>, true_f: F, false_f: F, )

where F: FnOnce(&mut CalyxControl<Sequential>),

Opens an if context. See CalyxControl::seq for details.

pub fn while_<F>(&mut self, port: CalyxPort, cond: Option<CalyxCombGroup>, f: F)

where F: FnOnce(&mut CalyxControl<Sequential>),

Opens a while context. See CalyxControl::seq for details.

impl CalyxControl<Sequential>

pub fn enable_next(&mut self, group: &CalyxGroup)

Enables group to run in sequence.

pub fn to_control(self) -> Control

Unwraps the control builder.

impl CalyxControl<Parallel>

pub fn enable(&mut self, group: &CalyxGroup)

Enables group to run in parallel.

pub fn to_control(self) -> Control

Unwraps the control builder.

Trait Implementations

impl<T: CalyxControlType> Default for CalyxControl<T>

fn default() -> Self

Returns the “default value” for a type.