Enum clarity_repl::clarity::vm::types::FunctionType

pub enum FunctionType {
    Variadic(TypeSignature, TypeSignature),
    Fixed(FixedFunction),
    UnionArgs(Vec<TypeSignature>, TypeSignature),
    ArithmeticVariadic,
    ArithmeticUnary,
    ArithmeticBinary,
    ArithmeticComparison,
    Binary(FunctionArgSignature, FunctionArgSignature, FunctionReturnsSignature),
}

Variants

Variadic(TypeSignature, TypeSignature)

Fixed(FixedFunction)

UnionArgs(Vec<TypeSignature>, TypeSignature)

ArithmeticVariadic

ArithmeticUnary

ArithmeticBinary

ArithmeticComparison

Binary(FunctionArgSignature, FunctionArgSignature, FunctionReturnsSignature)

Implementations

impl FunctionType

pub fn canonicalize(&self, epoch: &StacksEpochId) -> FunctionType

impl FunctionType

pub fn check_args_2_05<T>( &self, accounting: &mut T, args: &[TypeSignature] ) -> Result<TypeSignature, CheckError>where T: CostTracker,

pub fn check_args_by_allowing_trait_cast_2_05( &self, db: &mut AnalysisDatabase<'_>, func_args: &[Value] ) -> Result<TypeSignature, CheckError>

impl FunctionType

pub fn check_args_2_1<T>( &self, accounting: &mut T, args: &[TypeSignature], clarity_version: ClarityVersion ) -> Result<TypeSignature, CheckError>where T: CostTracker,

pub fn principal_to_callable_type( &self, value: &Value, depth: u8, clarity_version: ClarityVersion ) -> Result<TypeSignature, CheckError>

Returns the type of value, after converting any contract principal types to callable types. In an initial transaction, arguments are typed as contract principals, but they must be principal literals, so they may be used to call into a contract.

pub fn check_args_by_allowing_trait_cast_2_1( &self, db: &mut AnalysisDatabase<'_>, clarity_version: ClarityVersion, func_args: &[Value] ) -> Result<TypeSignature, CheckError>

This method is only used by StacksChainState::can_include_tx. The cost of evaluating these type checks are not tracked. WARNING: This is not consensus-critical code, and should never be called from consensus-critical code.

impl FunctionType

pub fn check_args<T>( &self, accounting: &mut T, args: &[TypeSignature], epoch: StacksEpochId, clarity_version: ClarityVersion ) -> Result<TypeSignature, CheckError>where T: CostTracker,

pub fn check_args_by_allowing_trait_cast( &self, db: &mut AnalysisDatabase<'_>, func_args: &[Value], epoch: StacksEpochId, clarity_version: ClarityVersion ) -> Result<TypeSignature, CheckError>

Trait Implementations

impl Clone for FunctionType

fn clone(&self) -> FunctionType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionType

fn deserialize<__D>( __deserializer: __D ) -> Result<FunctionType, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FunctionType

fn eq(&self, other: &FunctionType) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FunctionType

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

Serialize this value into the given Serde serializer.

impl Eq for FunctionType

impl StructuralEq for FunctionType

impl StructuralPartialEq for FunctionType