pub struct DFGWrapper<B, T>(/* private fields */);Expand description
Wrapper around DFGBuilder used to build other dataflow regions.
Implementations§
Source§impl DFGWrapper<Hugr, BuildHandle<FuncID<true>>>
impl DFGWrapper<Hugr, BuildHandle<FuncID<true>>>
Sourcepub fn new(
name: impl Into<String>,
signature: impl Into<PolyFuncType>,
) -> Result<Self, BuildError>
pub fn new( name: impl Into<String>, signature: impl Into<PolyFuncType>, ) -> Result<Self, BuildError>
Initialize a builder for a FuncDefn-rooted HUGR;
the function will be private. (See also Self::new_vis.)
§Errors
Error in adding DFG child nodes.
Sourcepub fn new_vis(
name: impl Into<String>,
signature: impl Into<PolyFuncType>,
visibility: Visibility,
) -> Result<Self, BuildError>
pub fn new_vis( name: impl Into<String>, signature: impl Into<PolyFuncType>, visibility: Visibility, ) -> Result<Self, BuildError>
Initialize a builder for a FuncDefn-rooted HUGR, with the specified Visibility.
§Errors
Error in adding DFG child nodes.
Source§impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BuildHandle<FuncID<true>>>
impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BuildHandle<FuncID<true>>>
Sourcepub fn with_hugr(
hugr: B,
name: impl Into<String>,
signature: impl Into<PolyFuncType>,
) -> Result<Self, BuildError>
pub fn with_hugr( hugr: B, name: impl Into<String>, signature: impl Into<PolyFuncType>, ) -> Result<Self, BuildError>
Initialize a new function definition on the root module of an existing HUGR.
The HUGR’s entrypoint will not be modified.
§Errors
Error in adding DFG child nodes.
Sourcepub fn add_input(&mut self, input_type: Type) -> Wire
pub fn add_input(&mut self, input_type: Type) -> Wire
Add a new input to the function being constructed.
Returns the new wire from the input node.
Sourcepub fn add_output(&mut self, output_type: Type)
pub fn add_output(&mut self, output_type: Type)
Add a new output to the function being constructed.
Source§impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BasicBlockID>
impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BasicBlockID>
Sourcepub fn set_outputs(
&mut self,
branch_wire: Wire,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<(), BuildError>
pub fn set_outputs( &mut self, branch_wire: Wire, outputs: impl IntoIterator<Item = Wire>, ) -> Result<(), BuildError>
Set the outputs of the block, with branch_wire carrying the value of the
branch controlling Sum value. outputs are the remaining outputs.
Sourcepub fn finish_with_outputs(
self,
branch_wire: Wire,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<<Self as SubContainer>::ContainerHandle, BuildError>where
Self: Sized,
pub fn finish_with_outputs(
self,
branch_wire: Wire,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<<Self as SubContainer>::ContainerHandle, BuildError>where
Self: Sized,
Set outputs and finish.
Source§impl DFGWrapper<Hugr, BasicBlockID>
impl DFGWrapper<Hugr, BasicBlockID>
Sourcepub fn new(
inputs: impl Into<TypeRow>,
sum_rows: impl IntoIterator<Item = TypeRow>,
other_outputs: impl Into<TypeRow>,
) -> Result<Self, BuildError>
pub fn new( inputs: impl Into<TypeRow>, sum_rows: impl IntoIterator<Item = TypeRow>, other_outputs: impl Into<TypeRow>, ) -> Result<Self, BuildError>
Initialize a DataflowBlock rooted HUGR builder.
Sourcepub fn finish_hugr_with_outputs(
self,
branch_wire: Wire,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<Hugr, BuildError>
pub fn finish_hugr_with_outputs( self, branch_wire: Wire, outputs: impl IntoIterator<Item = Wire>, ) -> Result<Hugr, BuildError>
Set outputs and finish_hugr.
Source§impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BuildHandle<TailLoopID>>
impl<B: AsMut<Hugr> + AsRef<Hugr>> DFGWrapper<B, BuildHandle<TailLoopID>>
Sourcepub fn set_outputs(
&mut self,
out_variant: Wire,
rest: impl IntoIterator<Item = Wire>,
) -> Result<(), BuildError>
pub fn set_outputs( &mut self, out_variant: Wire, rest: impl IntoIterator<Item = Wire>, ) -> Result<(), BuildError>
Set the outputs of the ops::TailLoop, with out_variant as the value of the
termination Sum, and rest being the remaining outputs.
Sourcepub fn loop_signature(&self) -> Result<&TailLoop, BuildError>
pub fn loop_signature(&self) -> Result<&TailLoop, BuildError>
Get a reference to the ops::TailLoop
that defines the signature of the ops::TailLoop
Sourcepub fn internal_output_row(&self) -> Result<TypeRow, BuildError>
pub fn internal_output_row(&self) -> Result<TypeRow, BuildError>
The output types of the child graph, including the Sum as the first.
Sourcepub fn finish_with_outputs(
self,
out_variant: Wire,
rest: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<TailLoopID>, BuildError>where
Self: Sized,
pub fn finish_with_outputs(
self,
out_variant: Wire,
rest: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<TailLoopID>, BuildError>where
Self: Sized,
Set outputs and finish, see TailLoopBuilder::set_outputs
Source§impl DFGWrapper<Hugr, BuildHandle<TailLoopID>>
impl DFGWrapper<Hugr, BuildHandle<TailLoopID>>
Source§impl DFGWrapper<Hugr, BuildHandle<CaseID>>
impl DFGWrapper<Hugr, BuildHandle<CaseID>>
Sourcepub fn new(signature: Signature) -> Result<Self, BuildError>
pub fn new(signature: Signature) -> Result<Self, BuildError>
Initialize a Case rooted HUGR
Trait Implementations§
Source§impl<B: Clone, T: Clone> Clone for DFGWrapper<B, T>
impl<B: Clone, T: Clone> Clone for DFGWrapper<B, T>
Source§fn clone(&self) -> DFGWrapper<B, T>
fn clone(&self) -> DFGWrapper<B, T>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<B: AsMut<Hugr> + AsRef<Hugr>, T> Container for DFGWrapper<B, T>
impl<B: AsMut<Hugr> + AsRef<Hugr>, T> Container for DFGWrapper<B, T>
Source§fn container_node(&self) -> Node
fn container_node(&self) -> Node
The container node.
Source§fn add_other_wire(&mut self, src: Node, dst: Node) -> Wire
fn add_other_wire(&mut self, src: Node, dst: Node) -> Wire
Adds a non-dataflow edge between two nodes. The kind is given by the operation’s
other_inputs or other_outputsSource§fn add_constant(&mut self, constant: impl Into<Const>) -> ConstID
fn add_constant(&mut self, constant: impl Into<Const>) -> ConstID
Add a constant value to the container and return a handle to it. Read more
Source§fn add_hugr(&mut self, child: Hugr) -> InsertionResult
fn add_hugr(&mut self, child: Hugr) -> InsertionResult
Insert a HUGR as a child of the container.
Source§fn add_hugr_view<H: HugrView>(
&mut self,
child: &H,
) -> InsertionResult<H::Node, Node>
fn add_hugr_view<H: HugrView>( &mut self, child: &H, ) -> InsertionResult<H::Node, Node>
Insert a copy of a HUGR as a child of the container.
Source§fn set_metadata(&mut self, key: impl AsRef<str>, meta: impl Into<NodeMetadata>)
fn set_metadata(&mut self, key: impl AsRef<str>, meta: impl Into<NodeMetadata>)
Add metadata to the container node.
Source§fn set_child_metadata(
&mut self,
child: Node,
key: impl AsRef<str>,
meta: impl Into<NodeMetadata>,
)
fn set_child_metadata( &mut self, child: Node, key: impl AsRef<str>, meta: impl Into<NodeMetadata>, )
Add metadata to a child node. Read more
Source§fn use_extension(&mut self, ext: impl Into<Arc<Extension>>)
fn use_extension(&mut self, ext: impl Into<Arc<Extension>>)
Add an extension to the set of extensions used by the hugr.
Source§fn use_extensions<Reg>(&mut self, registry: impl IntoIterator<Item = Reg>)where
ExtensionRegistry: Extend<Reg>,
fn use_extensions<Reg>(&mut self, registry: impl IntoIterator<Item = Reg>)where
ExtensionRegistry: Extend<Reg>,
Extend the set of extensions used by the hugr with the extensions in the registry.
Source§impl<B: AsMut<Hugr> + AsRef<Hugr>, T> Dataflow for DFGWrapper<B, T>
impl<B: AsMut<Hugr> + AsRef<Hugr>, T> Dataflow for DFGWrapper<B, T>
Source§fn num_inputs(&self) -> usize
fn num_inputs(&self) -> usize
Return the number of inputs to the dataflow sibling graph.
Source§fn input(&self) -> BuildHandle<DataflowOpID>
fn input(&self) -> BuildHandle<DataflowOpID>
Handle to input node.
Source§fn output(&self) -> DataflowOpID
fn output(&self) -> DataflowOpID
Handle to output node.
Source§fn input_wires(&self) -> Outputs ⓘ
fn input_wires(&self) -> Outputs ⓘ
Return iterator over all input Value wires.
Source§fn add_dataflow_op(
&mut self,
nodetype: impl Into<OpType>,
input_wires: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn add_dataflow_op( &mut self, nodetype: impl Into<OpType>, input_wires: impl IntoIterator<Item = Wire>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Source§fn add_hugr_with_wires(
&mut self,
hugr: Hugr,
input_wires: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn add_hugr_with_wires( &mut self, hugr: Hugr, input_wires: impl IntoIterator<Item = Wire>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Insert a hugr-defined op to the sibling graph, wiring up the
input_wires to the incoming ports of the resulting root node. Read moreSource§fn add_hugr_view_with_wires(
&mut self,
hugr: &impl HugrView,
input_wires: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn add_hugr_view_with_wires( &mut self, hugr: &impl HugrView, input_wires: impl IntoIterator<Item = Wire>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Copy a hugr-defined op into the sibling graph, wiring up the
input_wires to the incoming ports of the resulting root node. Read moreSource§fn set_outputs(
&mut self,
output_wires: impl IntoIterator<Item = Wire>,
) -> Result<(), BuildError>
fn set_outputs( &mut self, output_wires: impl IntoIterator<Item = Wire>, ) -> Result<(), BuildError>
Wire up the
output_wires to the input ports of the Output node. Read moreSource§fn input_wires_arr<const N: usize>(&self) -> [Wire; N]
fn input_wires_arr<const N: usize>(&self) -> [Wire; N]
Return an array of the input wires. Read more
Source§fn dfg_builder(
&mut self,
signature: Signature,
input_wires: impl IntoIterator<Item = Wire>,
) -> Result<DFGBuilder<&mut Hugr>, BuildError>
fn dfg_builder( &mut self, signature: Signature, input_wires: impl IntoIterator<Item = Wire>, ) -> Result<DFGBuilder<&mut Hugr>, BuildError>
Return a builder for a
crate::ops::DFG node, i.e. a nested dataflow subgraph,
given a signature describing its input and output types and extension delta,
and the input wires (which must match the input types) Read moreSource§fn dfg_builder_endo(
&mut self,
inputs: impl IntoIterator<Item = (Type, Wire)>,
) -> Result<DFGBuilder<&mut Hugr>, BuildError>
fn dfg_builder_endo( &mut self, inputs: impl IntoIterator<Item = (Type, Wire)>, ) -> Result<DFGBuilder<&mut Hugr>, BuildError>
Return a builder for a
crate::ops::DFG node, i.e. a nested dataflow subgraph,
that is endomorphic (the output types are the same as the input types).
The inputs must be an iterable over pairs of the type of the input and
the corresponding wire.Source§fn cfg_builder(
&mut self,
inputs: impl IntoIterator<Item = (Type, Wire)>,
output_types: TypeRow,
) -> Result<CFGBuilder<&mut Hugr>, BuildError>
fn cfg_builder( &mut self, inputs: impl IntoIterator<Item = (Type, Wire)>, output_types: TypeRow, ) -> Result<CFGBuilder<&mut Hugr>, BuildError>
Return a builder for a
crate::ops::CFG node,
i.e. a nested controlflow subgraph.
The inputs must be an iterable over pairs of the type of the input and
the corresponding wire.
The output_types are the types of the outputs. Read moreSource§fn load_const(&mut self, cid: &ConstID) -> Wire
fn load_const(&mut self, cid: &ConstID) -> Wire
Load a static constant and return the local dataflow wire for that constant.
Adds a
OpType::LoadConstant node.Source§fn add_load_const(&mut self, constant: impl Into<Const>) -> Wire
fn add_load_const(&mut self, constant: impl Into<Const>) -> Wire
Load a static constant and return the local dataflow wire for that constant.
Adds a
ops::Const and a ops::LoadConstant node.Source§fn add_load_value(&mut self, constant: impl Into<Value>) -> Wire
fn add_load_value(&mut self, constant: impl Into<Value>) -> Wire
Load a
ops::Value and return the local dataflow wire for that constant.
Adds a ops::Const and a ops::LoadConstant node.Source§fn load_func<const DEFINED: bool>(
&mut self,
fid: &FuncID<DEFINED>,
type_args: &[TypeArg],
) -> Result<Wire, BuildError>
fn load_func<const DEFINED: bool>( &mut self, fid: &FuncID<DEFINED>, type_args: &[TypeArg], ) -> Result<Wire, BuildError>
Load a static function and return the local dataflow wire for that function.
Adds a
OpType::LoadFunction node. Read moreSource§fn tail_loop_builder(
&mut self,
just_inputs: impl IntoIterator<Item = (Type, Wire)>,
inputs_outputs: impl IntoIterator<Item = (Type, Wire)>,
just_out_types: TypeRow,
) -> Result<TailLoopBuilder<&mut Hugr>, BuildError>
fn tail_loop_builder( &mut self, just_inputs: impl IntoIterator<Item = (Type, Wire)>, inputs_outputs: impl IntoIterator<Item = (Type, Wire)>, just_out_types: TypeRow, ) -> Result<TailLoopBuilder<&mut Hugr>, BuildError>
Return a builder for a
crate::ops::TailLoop node.
The inputs must be an iterable over pairs of the type of the input and
the corresponding wire.
The output_types are the types of the outputs. Read moreSource§fn conditional_builder(
&mut self,
(sum_rows, sum_wire): (impl IntoIterator<Item = TypeRow>, Wire),
other_inputs: impl IntoIterator<Item = (Type, Wire)>,
output_types: TypeRow,
) -> Result<ConditionalBuilder<&mut Hugr>, BuildError>
fn conditional_builder( &mut self, (sum_rows, sum_wire): (impl IntoIterator<Item = TypeRow>, Wire), other_inputs: impl IntoIterator<Item = (Type, Wire)>, output_types: TypeRow, ) -> Result<ConditionalBuilder<&mut Hugr>, BuildError>
Return a builder for a
crate::ops::Conditional node.
sum_input is a tuple of the type of the Sum
variants and the corresponding wire. Read moreSource§fn set_order(&mut self, before: &impl NodeHandle, after: &impl NodeHandle)
fn set_order(&mut self, before: &impl NodeHandle, after: &impl NodeHandle)
Add an order edge from
before to after. Assumes any additional edges
to both nodes will be Order kind.Source§fn get_wire_type(&self, wire: Wire) -> Result<Type, BuildError>
fn get_wire_type(&self, wire: Wire) -> Result<Type, BuildError>
Get the type of a Value
Wire. If not valid port or of Value kind, returns None.Source§fn make_tuple(
&mut self,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn make_tuple( &mut self, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Source§fn make_sum(
&mut self,
tag: usize,
variants: impl IntoIterator<Item = TypeRow>,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn make_sum( &mut self, tag: usize, variants: impl IntoIterator<Item = TypeRow>, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Source§fn make_continue(
&mut self,
tail_loop: TailLoop,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn make_continue( &mut self, tail_loop: TailLoop, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Use the wires in
values to return a wire corresponding to the
“Continue” variant of a ops::TailLoop with loop_signature. Read moreSource§fn make_break(
&mut self,
loop_op: TailLoop,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn make_break( &mut self, loop_op: TailLoop, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Use the wires in
values to return a wire corresponding to the
“Break” variant of a ops::TailLoop with loop_signature. Read moreSource§fn call<const DEFINED: bool>(
&mut self,
function: &FuncID<DEFINED>,
type_args: &[TypeArg],
input_wires: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn call<const DEFINED: bool>( &mut self, function: &FuncID<DEFINED>, type_args: &[TypeArg], input_wires: impl IntoIterator<Item = Wire>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Source§fn as_circuit(
&mut self,
wires: impl IntoIterator<Item = Wire>,
) -> CircuitBuilder<'_, Self>
fn as_circuit( &mut self, wires: impl IntoIterator<Item = Wire>, ) -> CircuitBuilder<'_, Self>
For the vector of
wires, produce a CircuitBuilder where ops can be
added using indices in to the vector.Source§fn add_barrier(
&mut self,
wires: impl IntoIterator<Item = Wire>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn add_barrier( &mut self, wires: impl IntoIterator<Item = Wire>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Source§impl<T> HugrBuilder for DFGWrapper<Hugr, T>
impl<T> HugrBuilder for DFGWrapper<Hugr, T>
Source§fn finish_hugr(self) -> Result<Hugr, ValidationError<Node>>
fn finish_hugr(self) -> Result<Hugr, ValidationError<Node>>
Finish building the HUGR, perform any validation checks and return it.
Source§fn module_root_builder(&mut self) -> ModuleBuilder<&mut Hugr>
fn module_root_builder(&mut self) -> ModuleBuilder<&mut Hugr>
Allows adding definitions to the module root of which
this builder is building a part
Source§impl<B: AsMut<Hugr> + AsRef<Hugr>, T: From<BuildHandle<DfgID>>> SubContainer for DFGWrapper<B, T>
impl<B: AsMut<Hugr> + AsRef<Hugr>, T: From<BuildHandle<DfgID>>> SubContainer for DFGWrapper<B, T>
Source§type ContainerHandle = T
type ContainerHandle = T
A handle to the finished container node, typically returned when the
child graph has been finished.
Source§fn finish_sub_container(self) -> Result<Self::ContainerHandle, BuildError>
fn finish_sub_container(self) -> Result<Self::ContainerHandle, BuildError>
Consume the container builder and return the handle, may perform some
checks before finishing.
impl<B, T> StructuralPartialEq for DFGWrapper<B, T>
Auto Trait Implementations§
impl<B, T> Freeze for DFGWrapper<B, T>where
B: Freeze,
impl<B, T> RefUnwindSafe for DFGWrapper<B, T>where
B: RefUnwindSafe,
T: RefUnwindSafe,
impl<B, T> Send for DFGWrapper<B, T>
impl<B, T> Sync for DFGWrapper<B, T>
impl<B, T> Unpin for DFGWrapper<B, T>
impl<B, T> UnwindSafe for DFGWrapper<B, T>where
B: UnwindSafe,
T: UnwindSafe,
Blanket Implementations§
Source§impl<D> ArrayOpBuilder for Dwhere
D: Dataflow,
impl<D> ArrayOpBuilder for Dwhere
D: Dataflow,
Source§fn add_new_array(
&mut self,
elem_ty: Type,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn add_new_array( &mut self, elem_ty: Type, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Adds a new array operation to the dataflow graph and return the wire
representing the new array. Read more
Source§fn add_array_unpack(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Vec<Wire>, BuildError>
fn add_array_unpack( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Vec<Wire>, BuildError>
Adds an array unpack operation to the dataflow graph. Read more
Source§fn add_array_clone(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_array_clone( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array clone operation to the dataflow graph and return the wires
representing the original and cloned array. Read more
Source§fn add_array_discard(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(), BuildError>
fn add_array_discard( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(), BuildError>
Adds an array discard operation to the dataflow graph. Read more
Source§fn add_array_get(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_array_get( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array get operation to the dataflow graph. Read more
Source§fn add_array_set(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
value: Wire,
) -> Result<Wire, BuildError>
fn add_array_set( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, value: Wire, ) -> Result<Wire, BuildError>
Adds an array set operation to the dataflow graph. Read more
Source§fn add_array_swap(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index1: Wire,
index2: Wire,
) -> Result<Wire, BuildError>
fn add_array_swap( &mut self, elem_ty: Type, size: u64, input: Wire, index1: Wire, index2: Wire, ) -> Result<Wire, BuildError>
Adds an array swap operation to the dataflow graph. Read more
Source§fn add_array_pop_left(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_array_pop_left( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-left operation to the dataflow graph. Read more
Source§fn add_array_pop_right(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_array_pop_right( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-right operation to the dataflow graph. Read more
Source§fn add_array_discard_empty(
&mut self,
elem_ty: Type,
input: Wire,
) -> Result<(), BuildError>
fn add_array_discard_empty( &mut self, elem_ty: Type, input: Wire, ) -> Result<(), BuildError>
Adds an operation to discard an empty array from the dataflow graph. Read more
Source§impl<D> BArrayOpBuilder for Dwhere
D: Dataflow,
impl<D> BArrayOpBuilder for Dwhere
D: Dataflow,
Source§fn add_new_borrow_array(
&mut self,
elem_ty: Type,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn add_new_borrow_array( &mut self, elem_ty: Type, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Adds a new array operation to the dataflow graph and return the wire
representing the new array. Read more
Source§fn add_borrow_array_unpack(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Vec<Wire>, BuildError>
fn add_borrow_array_unpack( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Vec<Wire>, BuildError>
Adds an array unpack operation to the dataflow graph. Read more
Source§fn add_borrow_array_clone(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_borrow_array_clone( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array clone operation to the dataflow graph and return the wires
representing the original and cloned array. Read more
Source§fn add_borrow_array_discard(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(), BuildError>
fn add_borrow_array_discard( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(), BuildError>
Adds an array discard operation to the dataflow graph. Read more
Source§fn add_borrow_array_get(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_borrow_array_get( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array get operation to the dataflow graph. Read more
Source§fn add_borrow_array_set(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
value: Wire,
) -> Result<Wire, BuildError>
fn add_borrow_array_set( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, value: Wire, ) -> Result<Wire, BuildError>
Adds an array set operation to the dataflow graph. Read more
Source§fn add_borrow_array_swap(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index1: Wire,
index2: Wire,
) -> Result<Wire, BuildError>
fn add_borrow_array_swap( &mut self, elem_ty: Type, size: u64, input: Wire, index1: Wire, index2: Wire, ) -> Result<Wire, BuildError>
Adds an array swap operation to the dataflow graph. Read more
Source§fn add_borrow_array_pop_left(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_borrow_array_pop_left( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-left operation to the dataflow graph. Read more
Source§fn add_borrow_array_pop_right(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_borrow_array_pop_right( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-right operation to the dataflow graph. Read more
Source§fn add_borrow_array_discard_empty(
&mut self,
elem_ty: Type,
input: Wire,
) -> Result<(), BuildError>
fn add_borrow_array_discard_empty( &mut self, elem_ty: Type, input: Wire, ) -> Result<(), BuildError>
Adds an operation to discard an empty array from the dataflow graph. Read more
Source§fn add_borrow_array_borrow(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_borrow_array_borrow( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds a borrow array borrow operation to the dataflow graph. Read more
Source§fn add_borrow_array_return(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
value: Wire,
) -> Result<Wire, BuildError>
fn add_borrow_array_return( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, value: Wire, ) -> Result<Wire, BuildError>
Adds a borrow array put operation to the dataflow graph. Read more
Source§fn add_discard_all_borrowed(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(), BuildError>
fn add_discard_all_borrowed( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(), BuildError>
Adds an operation to discard a borrow array where all elements have been borrowed. Read more
Source§fn add_new_all_borrowed(
&mut self,
elem_ty: Type,
size: u64,
) -> Result<Wire, BuildError>
fn add_new_all_borrowed( &mut self, elem_ty: Type, size: u64, ) -> Result<Wire, BuildError>
Adds an operation to create a new empty borrowed array in the dataflow graph. Read more
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DataflowHugr for Twhere
T: HugrBuilder + Dataflow,
impl<T> DataflowHugr for Twhere
T: HugrBuilder + Dataflow,
Source§fn finish_hugr_with_outputs(
self,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<Hugr, BuildError>where
Self: Sized,
fn finish_hugr_with_outputs(
self,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<Hugr, BuildError>where
Self: Sized,
Set outputs of dataflow HUGR and return validated HUGR Read more
Source§impl<T> DataflowSubContainer for Twhere
T: SubContainer + Dataflow,
impl<T> DataflowSubContainer for Twhere
T: SubContainer + Dataflow,
Source§fn finish_with_outputs(
self,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<Self::ContainerHandle, BuildError>where
Self: Sized,
fn finish_with_outputs(
self,
outputs: impl IntoIterator<Item = Wire>,
) -> Result<Self::ContainerHandle, BuildError>where
Self: Sized,
Set the outputs of the graph and consume the builder, while returning a
handle to the parent. Read more
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Converts
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Converts
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Converts
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Converts
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self to use its UpperHex implementation when
Debug-formatted.Source§impl<D> GenericArrayOpBuilder for Dwhere
D: Dataflow,
impl<D> GenericArrayOpBuilder for Dwhere
D: Dataflow,
Source§fn add_new_generic_array<AK: ArrayKind>(
&mut self,
elem_ty: Type,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn add_new_generic_array<AK: ArrayKind>( &mut self, elem_ty: Type, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Adds a new array operation to the dataflow graph and return the wire
representing the new array. Read more
Source§fn add_generic_array_unpack<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Vec<Wire>, BuildError>
fn add_generic_array_unpack<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Vec<Wire>, BuildError>
Adds an array unpack operation to the dataflow graph. Read more
Source§fn add_generic_array_clone<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_generic_array_clone<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array clone operation to the dataflow graph and return the wires
representing the originala and cloned array. Read more
Source§fn add_generic_array_discard<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<(), BuildError>
fn add_generic_array_discard<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<(), BuildError>
Adds an array discard operation to the dataflow graph. Read more
Source§fn add_generic_array_get<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_generic_array_get<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array get operation to the dataflow graph. Read more
Source§fn add_generic_array_set<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
value: Wire,
) -> Result<Wire, BuildError>
fn add_generic_array_set<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, value: Wire, ) -> Result<Wire, BuildError>
Adds an array set operation to the dataflow graph. Read more
Source§fn add_generic_array_swap<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index1: Wire,
index2: Wire,
) -> Result<Wire, BuildError>
fn add_generic_array_swap<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, index1: Wire, index2: Wire, ) -> Result<Wire, BuildError>
Adds an array swap operation to the dataflow graph. Read more
Source§fn add_generic_array_pop_left<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_generic_array_pop_left<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-left operation to the dataflow graph. Read more
Source§fn add_generic_array_pop_right<AK: ArrayKind>(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_generic_array_pop_right<AK: ArrayKind>( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-right operation to the dataflow graph. Read more
Source§fn add_generic_array_discard_empty<AK: ArrayKind>(
&mut self,
elem_ty: Type,
input: Wire,
) -> Result<(), BuildError>
fn add_generic_array_discard_empty<AK: ArrayKind>( &mut self, elem_ty: Type, input: Wire, ) -> Result<(), BuildError>
Adds an operation to discard an empty array from the dataflow graph. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self, then passes self.deref() into the pipe function.Source§impl<D> PtrOpBuilder for Dwhere
D: Dataflow,
impl<D> PtrOpBuilder for Dwhere
D: Dataflow,
Source§fn add_new_ptr(&mut self, val_wire: Wire) -> Result<Wire, BuildError>
fn add_new_ptr(&mut self, val_wire: Wire) -> Result<Wire, BuildError>
Add a “ptr.New” op.
Source§fn add_read_ptr(&mut self, ptr_wire: Wire, ty: Type) -> Result<Wire, BuildError>
fn add_read_ptr(&mut self, ptr_wire: Wire, ty: Type) -> Result<Wire, BuildError>
Add a “ptr.Read” op.
Source§fn add_write_ptr(
&mut self,
ptr_wire: Wire,
val_wire: Wire,
) -> Result<(), BuildError>
fn add_write_ptr( &mut self, ptr_wire: Wire, val_wire: Wire, ) -> Result<(), BuildError>
Add a “ptr.Write” op.
Source§impl<T> StaticArrayOpBuilder for Twhere
T: Dataflow,
impl<T> StaticArrayOpBuilder for Twhere
T: Dataflow,
Source§fn add_static_array_get(
&mut self,
elem_ty: Type,
array: Wire,
index: Wire,
) -> Result<Wire, BuildError>
fn add_static_array_get( &mut self, elem_ty: Type, array: Wire, index: Wire, ) -> Result<Wire, BuildError>
Adds a
get operation to retrieve an element from a static array. Read moreSource§fn add_static_array_len(
&mut self,
elem_ty: Type,
array: Wire,
) -> Result<Wire, BuildError>
fn add_static_array_len( &mut self, elem_ty: Type, array: Wire, ) -> Result<Wire, BuildError>
Adds a
len operation to get the length of a static array. Read moreSource§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref() only in debug builds, and is erased in release
builds.Source§impl<D> UnwrapBuilder for Dwhere
D: Dataflow,
impl<D> UnwrapBuilder for Dwhere
D: Dataflow,
Source§fn add_panic(
&mut self,
err: ConstError,
output_row: impl IntoIterator<Item = Type>,
inputs: impl IntoIterator<Item = (Wire, Type)>,
) -> Result<BuildHandle<DataflowOpID>, BuildError>
fn add_panic( &mut self, err: ConstError, output_row: impl IntoIterator<Item = Type>, inputs: impl IntoIterator<Item = (Wire, Type)>, ) -> Result<BuildHandle<DataflowOpID>, BuildError>
Add a panic operation to the dataflow with the given error.
Source§fn build_unwrap_sum<const N: usize>(
&mut self,
tag: usize,
sum_type: SumType,
input: Wire,
) -> Result<[Wire; N], BuildError>
fn build_unwrap_sum<const N: usize>( &mut self, tag: usize, sum_type: SumType, input: Wire, ) -> Result<[Wire; N], BuildError>
Build an unwrap operation for a sum type to extract the variant at the given tag
or panic if the tag is not the expected value.
Source§fn build_expect_sum<const N: usize, T: Into<ConstError>>(
&mut self,
tag: usize,
sum_type: SumType,
input: Wire,
error: impl FnMut(usize) -> T,
) -> Result<[Wire; N], BuildError>
fn build_expect_sum<const N: usize, T: Into<ConstError>>( &mut self, tag: usize, sum_type: SumType, input: Wire, error: impl FnMut(usize) -> T, ) -> Result<[Wire; N], BuildError>
Build an unwrap operation for a sum type to extract the variant at the given tag
or panic with given message if the tag is not the expected value. Read more
Source§impl<D> VArrayOpBuilder for Dwhere
D: Dataflow,
impl<D> VArrayOpBuilder for Dwhere
D: Dataflow,
Source§fn add_new_value_array(
&mut self,
elem_ty: Type,
values: impl IntoIterator<Item = Wire>,
) -> Result<Wire, BuildError>
fn add_new_value_array( &mut self, elem_ty: Type, values: impl IntoIterator<Item = Wire>, ) -> Result<Wire, BuildError>
Adds a new array operation to the dataflow graph and return the wire
representing the new array. Read more
Source§fn add_value_array_get(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
) -> Result<(Wire, Wire), BuildError>
fn add_value_array_get( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, ) -> Result<(Wire, Wire), BuildError>
Adds an array get operation to the dataflow graph. Read more
Source§fn add_value_array_set(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index: Wire,
value: Wire,
) -> Result<Wire, BuildError>
fn add_value_array_set( &mut self, elem_ty: Type, size: u64, input: Wire, index: Wire, value: Wire, ) -> Result<Wire, BuildError>
Adds an array set operation to the dataflow graph. Read more
Source§fn add_value_array_swap(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
index1: Wire,
index2: Wire,
) -> Result<Wire, BuildError>
fn add_value_array_swap( &mut self, elem_ty: Type, size: u64, input: Wire, index1: Wire, index2: Wire, ) -> Result<Wire, BuildError>
Adds an array swap operation to the dataflow graph. Read more
Source§fn add_array_pop_left(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_array_pop_left( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-left operation to the dataflow graph. Read more
Source§fn add_array_pop_right(
&mut self,
elem_ty: Type,
size: u64,
input: Wire,
) -> Result<Wire, BuildError>
fn add_array_pop_right( &mut self, elem_ty: Type, size: u64, input: Wire, ) -> Result<Wire, BuildError>
Adds an array pop-right operation to the dataflow graph. Read more
Source§fn add_array_discard_empty(
&mut self,
elem_ty: Type,
input: Wire,
) -> Result<(), BuildError>
fn add_array_discard_empty( &mut self, elem_ty: Type, input: Wire, ) -> Result<(), BuildError>
Adds an operation to discard an empty array from the dataflow graph. Read more