Enum SignatureFunc

pub enum SignatureFunc {
    PolyFuncType(PolyFuncTypeRV),
    CustomValidator(CustomValidator),
    MissingValidateFunc(PolyFuncTypeRV),
    CustomFunc(Box<dyn CustomSignatureFunc>),
    MissingComputeFunc,
}

The ways in which an OpDef may compute the Signature of each operation node.

Variants

PolyFuncType(PolyFuncTypeRV)

An explicit polymorphic function type.

CustomValidator(CustomValidator)

A polymorphic function type (like Self::PolyFuncType but also with a custom binary for validating type arguments.

MissingValidateFunc(PolyFuncTypeRV)

Serialized declaration specified a custom validate binary but it was not provided.

CustomFunc(Box<dyn CustomSignatureFunc>)

A custom binary which computes a polymorphic function type given values for its static type parameters.

MissingComputeFunc

Serialized declaration specified a custom compute binary but it was not provided.

Implementations

impl SignatureFunc

pub fn ignore_missing_validation(&mut self)

If the signature is missing a custom validation function, ignore and treat as self-contained type scheme (with no custom validation).

pub fn compute_signature( &self, def: &OpDef, args: &[TypeArg], ) -> Result<Signature, SignatureError>

Compute the concrete signature (FuncValueType).

Panics

Panics if self is a SignatureFunc::CustomFunc and there are not enough type arguments provided to match the number of static parameters.

Errors

This function will return an error if the type arguments are invalid or there is some error in type computation.

Trait Implementations

impl Debug for SignatureFunc

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

Formats the value using the given formatter.

impl From<CustomValidator> for SignatureFunc

fn from(v: CustomValidator) -> Self

Converts to this type from the input type.

impl From<FuncTypeBase<NoRV>> for SignatureFunc

fn from(v: Signature) -> Self

Converts to this type from the input type.

impl From<FuncTypeBase<RowVariable>> for SignatureFunc

fn from(v: FuncValueType) -> Self

Converts to this type from the input type.

impl<T: CustomSignatureFunc + 'static> From<T> for SignatureFunc

fn from(v: T) -> Self

Converts to this type from the input type.