pub enum CheckErrors {
Show 113 variants CostOverflow, CostBalanceExceeded(ExecutionCost, ExecutionCost), MemoryBalanceExceeded(u64, u64), CostComputationFailed(String), ValueTooLarge, ValueOutOfBounds, TypeSignatureTooDeep, ExpectedName, SupertypeTooLarge, BadMatchOptionSyntax(Box<CheckErrors>), BadMatchResponseSyntax(Box<CheckErrors>), BadMatchInput(TypeSignature), UnknownListConstructionFailure, ListTypesMustMatch, ConstructedListTooLarge, TypeError(TypeSignature, TypeSignature), TypeLiteralError(TypeSignature, TypeSignature), TypeValueError(TypeSignature, Value), NoSuperType(TypeSignature, TypeSignature), InvalidTypeDescription, UnknownTypeName(String), UnionTypeError(Vec<TypeSignature>, TypeSignature), UnionTypeValueError(Vec<TypeSignature>, Value), ExpectedLiteral, ExpectedOptionalType(TypeSignature), ExpectedResponseType(TypeSignature), ExpectedOptionalOrResponseType(TypeSignature), ExpectedOptionalValue(Value), ExpectedResponseValue(Value), ExpectedOptionalOrResponseValue(Value), CouldNotDetermineResponseOkType, CouldNotDetermineResponseErrType, CouldNotDetermineSerializationType, UncheckedIntermediaryResponses, CouldNotDetermineMatchTypes, CouldNotDetermineType, TypeAlreadyAnnotatedFailure, TypeAnnotationExpectedFailure, CheckerImplementationFailure, BadTokenName, DefineFTBadSignature, DefineNFTBadSignature, NoSuchNFT(String), NoSuchFT(String), BadTransferSTXArguments, BadTransferFTArguments, BadTransferNFTArguments, BadMintFTArguments, BadBurnFTArguments, BadTupleFieldName, ExpectedTuple(TypeSignature), NoSuchTupleField(String, TupleTypeSignature), EmptyTuplesNotAllowed, BadTupleConstruction, TupleExpectsPairs, NoSuchDataVariable(String), BadMapName, NoSuchMap(String), DefineFunctionBadSignature, BadFunctionName, BadMapTypeDefinition, PublicFunctionMustReturnResponse(TypeSignature), DefineVariableBadSignature, ReturnTypesMustMatch(TypeSignature, TypeSignature), CircularReference(Vec<String>), NoSuchContract(String), NoSuchPublicFunction(String, String), PublicFunctionNotReadOnly(String, String), ContractAlreadyExists(String), ContractCallExpectName, ExpectedCallableType(TypeSignature), NoSuchBlockInfoProperty(String), NoSuchBurnBlockInfoProperty(String), GetBlockInfoExpectPropertyName, GetBurnBlockInfoExpectPropertyName, NameAlreadyUsed(String), NonFunctionApplication, ExpectedListApplication, ExpectedSequence(TypeSignature), MaxLengthOverflow, BadLetSyntax, BadSyntaxBinding, BadSyntaxExpectedListOfPairs, MaxContextDepthReached, UndefinedFunction(String), UndefinedVariable(String), RequiresAtLeastArguments(usize, usize), RequiresAtMostArguments(usize, usize), IncorrectArgumentCount(usize, usize), IfArmsMustMatch(TypeSignature, TypeSignature), MatchArmsMustMatch(TypeSignature, TypeSignature), DefaultTypesMustMatch(TypeSignature, TypeSignature), TooManyExpressions, IllegalOrUnknownFunctionApplication(String), UnknownFunction(String), NoSuchTrait(String, String), TraitReferenceUnknown(String), TraitMethodUnknown(String, String), ExpectedTraitIdentifier, ImportTraitBadSignature, TraitReferenceNotAllowed, BadTraitImplementation(String, String), DefineTraitBadSignature, DefineTraitDuplicateMethod(String), UnexpectedTraitOrFieldReference, TraitBasedContractCallInReadOnly, ContractOfExpectsTrait, IncompatibleTrait(TraitIdentifier, TraitIdentifier), InvalidCharactersDetected, InvalidUTF8Encoding, InvalidSecp65k1Signature, WriteAttemptedInReadOnly, AtBlockClosureMustBeReadOnly,
}

Variants§

§

CostOverflow

§

CostBalanceExceeded(ExecutionCost, ExecutionCost)

§

MemoryBalanceExceeded(u64, u64)

§

CostComputationFailed(String)

§

ValueTooLarge

§

ValueOutOfBounds

§

TypeSignatureTooDeep

§

ExpectedName

§

SupertypeTooLarge

§

BadMatchOptionSyntax(Box<CheckErrors>)

§

BadMatchResponseSyntax(Box<CheckErrors>)

§

BadMatchInput(TypeSignature)

§

UnknownListConstructionFailure

§

ListTypesMustMatch

§

ConstructedListTooLarge

§

TypeError(TypeSignature, TypeSignature)

§

TypeLiteralError(TypeSignature, TypeSignature)

§

TypeValueError(TypeSignature, Value)

§

NoSuperType(TypeSignature, TypeSignature)

§

InvalidTypeDescription

§

UnknownTypeName(String)

§

UnionTypeError(Vec<TypeSignature>, TypeSignature)

§

UnionTypeValueError(Vec<TypeSignature>, Value)

§

ExpectedLiteral

§

ExpectedOptionalType(TypeSignature)

§

ExpectedResponseType(TypeSignature)

§

ExpectedOptionalOrResponseType(TypeSignature)

§

ExpectedOptionalValue(Value)

§

ExpectedResponseValue(Value)

§

ExpectedOptionalOrResponseValue(Value)

§

CouldNotDetermineResponseOkType

§

CouldNotDetermineResponseErrType

§

CouldNotDetermineSerializationType

§

UncheckedIntermediaryResponses

§

CouldNotDetermineMatchTypes

§

CouldNotDetermineType

§

TypeAlreadyAnnotatedFailure

§

TypeAnnotationExpectedFailure

§

CheckerImplementationFailure

§

BadTokenName

§

DefineFTBadSignature

§

DefineNFTBadSignature

§

NoSuchNFT(String)

§

NoSuchFT(String)

§

BadTransferSTXArguments

§

BadTransferFTArguments

§

BadTransferNFTArguments

§

BadMintFTArguments

§

BadBurnFTArguments

§

BadTupleFieldName

§

ExpectedTuple(TypeSignature)

§

NoSuchTupleField(String, TupleTypeSignature)

§

EmptyTuplesNotAllowed

§

BadTupleConstruction

§

TupleExpectsPairs

§

NoSuchDataVariable(String)

§

BadMapName

§

NoSuchMap(String)

§

DefineFunctionBadSignature

§

BadFunctionName

§

BadMapTypeDefinition

§

PublicFunctionMustReturnResponse(TypeSignature)

§

DefineVariableBadSignature

§

ReturnTypesMustMatch(TypeSignature, TypeSignature)

§

CircularReference(Vec<String>)

§

NoSuchContract(String)

§

NoSuchPublicFunction(String, String)

§

PublicFunctionNotReadOnly(String, String)

§

ContractAlreadyExists(String)

§

ContractCallExpectName

§

ExpectedCallableType(TypeSignature)

§

NoSuchBlockInfoProperty(String)

§

NoSuchBurnBlockInfoProperty(String)

§

GetBlockInfoExpectPropertyName

§

GetBurnBlockInfoExpectPropertyName

§

NameAlreadyUsed(String)

§

NonFunctionApplication

§

ExpectedListApplication

§

ExpectedSequence(TypeSignature)

§

MaxLengthOverflow

§

BadLetSyntax

§

BadSyntaxBinding

§

BadSyntaxExpectedListOfPairs

§

MaxContextDepthReached

§

UndefinedFunction(String)

§

UndefinedVariable(String)

§

RequiresAtLeastArguments(usize, usize)

§

RequiresAtMostArguments(usize, usize)

§

IncorrectArgumentCount(usize, usize)

§

IfArmsMustMatch(TypeSignature, TypeSignature)

§

MatchArmsMustMatch(TypeSignature, TypeSignature)

§

DefaultTypesMustMatch(TypeSignature, TypeSignature)

§

TooManyExpressions

§

IllegalOrUnknownFunctionApplication(String)

§

UnknownFunction(String)

§

NoSuchTrait(String, String)

§

TraitReferenceUnknown(String)

§

TraitMethodUnknown(String, String)

§

ExpectedTraitIdentifier

§

ImportTraitBadSignature

§

TraitReferenceNotAllowed

§

BadTraitImplementation(String, String)

§

DefineTraitBadSignature

§

DefineTraitDuplicateMethod(String)

§

UnexpectedTraitOrFieldReference

§

TraitBasedContractCallInReadOnly

§

ContractOfExpectsTrait

§

IncompatibleTrait(TraitIdentifier, TraitIdentifier)

§

InvalidCharactersDetected

§

InvalidUTF8Encoding

§

InvalidSecp65k1Signature

§

WriteAttemptedInReadOnly

§

AtBlockClosureMustBeReadOnly

Trait Implementations§

§

impl Debug for CheckErrors

§

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

Formats the value using the given formatter. Read more
§

impl DiagnosableError for CheckErrors

§

fn message(&self) -> String

§

fn suggestion(&self) -> Option<String>

§

fn level(&self) -> Level

§

impl Display for CheckErrors

§

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

Formats the value using the given formatter. Read more
§

impl Error for CheckErrors

§

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any. Read more
1.0.0 · source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
§

impl From<CheckErrors> for CheckError

§

fn from(err: CheckErrors) -> CheckError

Converts to this type from the input type.
§

impl From<CheckErrors> for Error

§

fn from(err: CheckErrors) -> Error

Converts to this type from the input type.
§

impl From<CheckErrors> for SerializationError

§

fn from(e: CheckErrors) -> SerializationError

Converts to this type from the input type.
§

impl From<CostErrors> for CheckErrors

§

fn from(err: CostErrors) -> CheckErrors

Converts to this type from the input type.
§

impl PartialEq for CheckErrors

§

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

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

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 StructuralPartialEq for CheckErrors

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more