Struct LoadFunction 

pub struct LoadFunction {
    pub func_sig: PolyFuncType,
    pub type_args: Vec<TypeArg>,
    pub instantiation: Signature,
}

Load a static function in to the local dataflow graph.

Fields

func_sig: PolyFuncType

Signature of the function

type_args: Vec<TypeArg>

The type arguments that instantiate func_sig.

instantiation: Signature

The instantiation of func_sig.

Implementations

impl LoadFunction

pub fn try_new( func_sig: PolyFuncType, type_args: impl Into<Vec<TypeArg>>, ) -> Result<Self, SignatureError>

Try to make a new LoadFunction op. Returns an error if the `type_args`` do not fit the TypeParams declared by the function.

pub fn function_type(&self) -> &PolyFuncType

Return the type of the function loaded by this op.

pub fn function_port(&self) -> IncomingPort

The IncomingPort which links to the loaded function.

This matches OpType::static_input_port.

Trait Implementations

impl Clone for LoadFunction

fn clone(&self) -> LoadFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl DataflowOpTrait for LoadFunction

const TAG: OpTag = OpTag::LoadFunc

Tag identifying the operation.

fn description(&self) -> &'static str

A human-readable description of the operation.

fn signature(&self) -> Cow<'_, Signature>

The signature of the operation.

fn static_input(&self) -> Option<EdgeKind>

The edge kind for a single constant input of the operation, not described by the dataflow signature.

fn substitute(&self, subst: &Substitution<'_>) -> Self

Apply a type-level substitution to this OpType, i.e. replace type variables with new types.

fn other_input(&self) -> Option<EdgeKind>

The edge kind for the non-dataflow or constant inputs of the operation, not described by the signature.

fn other_output(&self) -> Option<EdgeKind>

The edge kind for the non-dataflow outputs of the operation, not described by the signature.

impl Debug for LoadFunction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoadFunction

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<LoadFunction> for OpType

fn from(v: LoadFunction) -> OpType

Converts to this type from the input type.

impl OpParent for LoadFunction

fn inner_function_type(&self) -> Option<Cow<'_, Signature>>

The inner function type of the operation, if it has a child dataflow sibling graph.

impl PartialEq for LoadFunction

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> TryFrom<&'a OpType> for &'a LoadFunction

type Error = ()

The type returned in the event of a conversion error.

fn try_from(optype: &'a OpType) -> Result<Self, Self::Error>

Performs the conversion.

impl TryInto<LoadFunction> for OpType

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into( self, ) -> Result<LoadFunction, <Self as TryInto<LoadFunction>>::Error>

Performs the conversion.

impl ValidateOp for LoadFunction

fn validity_flags<N: HugrNode>(&self) -> OpValidityFlags<N>

Returns a set of flags describing the validity predicates for this operation.

fn validate_op_children<'a, N: HugrNode>( &self, _children: impl DoubleEndedIterator<Item = (N, &'a OpType)>, ) -> Result<(), ChildrenValidationError<N>>

Validate the ordered list of children.

impl Eq for LoadFunction

impl StructuralPartialEq for LoadFunction