Enum clarity_repl::clarity::analysis::errors::CheckErrors
source · [−]pub enum CheckErrors {
Show 104 variants
CostOverflow,
CostBalanceExceeded(ExecutionCost, ExecutionCost),
MemoryBalanceExceeded(u64, u64),
CostComputationFailed(String),
ValueTooLarge,
ValueOutOfBounds,
TypeSignatureTooDeep,
ExpectedName,
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,
UncheckedIntermediaryResponses,
CouldNotDetermineMatchTypes,
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,
NoSuchBlockInfoProperty(String),
GetBlockInfoExpectPropertyName,
NameAlreadyUsed(String),
NonFunctionApplication,
ExpectedListApplication,
ExpectedSequence(TypeSignature),
MaxLengthOverflow,
BadLetSyntax,
BadSyntaxBinding,
BadSyntaxExpectedListOfPairs,
MaxContextDepthReached,
UndefinedFunction(String),
UndefinedVariable(String),
RequiresAtLeastArguments(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,
UnexpectedTraitOrFieldReference,
TraitBasedContractCallInReadOnly,
ContractOfExpectsTrait,
InvalidCharactersDetected,
InvalidSecp65k1Signature,
WriteAttemptedInReadOnly,
AtBlockClosureMustBeReadOnly,
CircularContractDependency(String),
}
Variants
CostOverflow
CostBalanceExceeded(ExecutionCost, ExecutionCost)
MemoryBalanceExceeded(u64, u64)
CostComputationFailed(String)
ValueTooLarge
ValueOutOfBounds
TypeSignatureTooDeep
ExpectedName
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
UncheckedIntermediaryResponses
CouldNotDetermineMatchTypes
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
NoSuchBlockInfoProperty(String)
GetBlockInfoExpectPropertyName
NameAlreadyUsed(String)
NonFunctionApplication
ExpectedListApplication
ExpectedSequence(TypeSignature)
MaxLengthOverflow
BadLetSyntax
BadSyntaxBinding
BadSyntaxExpectedListOfPairs
MaxContextDepthReached
UndefinedFunction(String)
UndefinedVariable(String)
RequiresAtLeastArguments(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
UnexpectedTraitOrFieldReference
TraitBasedContractCallInReadOnly
ContractOfExpectsTrait
InvalidCharactersDetected
InvalidSecp65k1Signature
WriteAttemptedInReadOnly
AtBlockClosureMustBeReadOnly
CircularContractDependency(String)
Trait Implementations
sourceimpl Debug for CheckErrors
impl Debug for CheckErrors
sourceimpl DiagnosableError for CheckErrors
impl DiagnosableError for CheckErrors
sourceimpl Display for CheckErrors
impl Display for CheckErrors
sourceimpl Error for CheckErrors
impl Error for CheckErrors
sourcefn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
The lower-level source of this error, if any. Read more
1.0.0 · sourcefn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0:
use the Display impl or to_string()
sourceimpl From<CheckErrors> for CheckError
impl From<CheckErrors> for CheckError
sourcefn from(err: CheckErrors) -> Self
fn from(err: CheckErrors) -> Self
Converts to this type from the input type.
sourceimpl From<CheckErrors> for Error
impl From<CheckErrors> for Error
sourcefn from(err: CheckErrors) -> Self
fn from(err: CheckErrors) -> Self
Converts to this type from the input type.
sourceimpl From<CheckErrors> for SerializationError
impl From<CheckErrors> for SerializationError
sourcefn from(e: CheckErrors) -> Self
fn from(e: CheckErrors) -> Self
Converts to this type from the input type.
sourceimpl From<CostErrors> for CheckErrors
impl From<CostErrors> for CheckErrors
sourcefn from(err: CostErrors) -> Self
fn from(err: CostErrors) -> Self
Converts to this type from the input type.
sourceimpl PartialEq<CheckErrors> for CheckErrors
impl PartialEq<CheckErrors> for CheckErrors
sourcefn eq(&self, other: &CheckErrors) -> bool
fn eq(&self, other: &CheckErrors) -> bool
impl StructuralPartialEq for CheckErrors
Auto Trait Implementations
impl RefUnwindSafe for CheckErrors
impl Send for CheckErrors
impl Sync for CheckErrors
impl Unpin for CheckErrors
impl UnwindSafe for CheckErrors
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more