pub trait ConcreteLibfunc {
// Required methods
fn param_signatures(&self) -> &[ParamSignature];
fn branch_signatures(&self) -> &[BranchSignature];
fn fallthrough(&self) -> Option<usize>;
// Provided method
fn output_types(&self) -> Vec<Vec<ConcreteTypeId>> { ... }
}Expand description
Trait for a specialized library function.
Required Methods§
sourcefn param_signatures(&self) -> &[ParamSignature]
fn param_signatures(&self) -> &[ParamSignature]
The parameter types and other information for the parameters for calling a library function.
sourcefn branch_signatures(&self) -> &[BranchSignature]
fn branch_signatures(&self) -> &[BranchSignature]
The output types and other information returning from a library function per branch.
sourcefn fallthrough(&self) -> Option<usize>
fn fallthrough(&self) -> Option<usize>
The index of the fallthrough branch of the library function if any.
Provided Methods§
sourcefn output_types(&self) -> Vec<Vec<ConcreteTypeId>>
fn output_types(&self) -> Vec<Vec<ConcreteTypeId>>
Returns the output types returning from a library function per branch.