Struct ProcedureDef 

#[non_exhaustive]
pub struct ProcedureDef {
    pub name: Identifier,
    pub accessor_name: Identifier,
    pub params: ProductType,
    pub params_for_generate: ProductTypeDef,
    pub return_type: AlgebraicType,
    pub return_type_for_generate: AlgebraicTypeUse,
    pub visibility: FunctionVisibility,
}

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

name: Identifier

The name of the procedure.

This must be unique within the module’s set of reducers and procedures.

accessor_name: Identifier

The procedure name as defined in the module source.

Similar to [ReducerDef.accessor_name].

params: ProductType

The parameters of the procedure.

This ProductType need not be registered in the module’s Typespace.

params_for_generate: ProductTypeDef

The parameters of the procedure, formatted for client codegen.

This ProductType need not be registered in the module’s TypespaceForGenerate.

return_type: AlgebraicType

The return type of the procedure.

If this is a non-special compound type, it should be registered in the module’s Typespace and indirected through an AlgebraicType::Ref.

return_type_for_generate: AlgebraicTypeUse

The return type of the procedure.

If this is a non-special compound type, it should be registered in the module’s TypespaceForGenerate and indirected through an AlgebraicTypeUse::Ref.

visibility: FunctionVisibility

The visibility of this procedure.

Trait Implementations

impl Clone for ProcedureDef

fn clone(&self) -> ProcedureDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcedureDef

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

Formats the value using the given formatter.

impl From<ProcedureDef> for RawMiscModuleExportV9

fn from(def: ProcedureDef) -> Self

Converts to this type from the input type.

impl From<ProcedureDef> for RawProcedureDefV10

fn from(val: ProcedureDef) -> Self

Converts to this type from the input type.

impl From<ProcedureDef> for RawProcedureDefV9

fn from(val: ProcedureDef) -> Self

Converts to this type from the input type.

impl FunctionDef for ProcedureDef

fn params(&self) -> &ProductType

fn name(&self) -> &Identifier

impl ModuleDefLookup for ProcedureDef

type Key<'a> = &'a Identifier

A reference to a definition of this type within a module def. This reference should be portable across migrations.

fn key(&self) -> Self::Key<'_>

Get a reference to this definition.

fn lookup<'a>(module_def: &'a ModuleDef, key: Self::Key<'_>) -> Option<&'a Self>

Look up this entity in the module def.

impl PartialEq for ProcedureDef

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

impl StructuralPartialEq for ProcedureDef