Safe Haskell | None |
---|---|
Language | Haskell2010 |
Errors that can occur when some code is being typechecked.
Synopsis
- data NotEnoughItemsInstr
- data TCTypeError
- = AnnError AnnConvergeError
- | TypeEqError T T
- | StackEqError [T] [T]
- | UnsupportedTypes [T]
- | InvalidValueType T
- | NotEnoughItemsOnStack Word NotEnoughItemsInstr
- | IllegalEntryPoint EpNameFromRefAnnError
- | UnknownContract Address
- | EntryPointNotFound EpName
- | IllegalParamDecl ParamEpError
- | NegativeNat
- | MutezOverflow
- | InvalidAddress ParseEpAddressError
- | InvalidKeyHash CryptoParseError
- | InvalidTimestamp
- data TCError
- data ExtError
- newtype StackSize = StackSize Natural
Documentation
data NotEnoughItemsInstr Source #
Description of the instruction which wants more items on stack than currently present.
Instances
Eq NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error (==) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool # (/=) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool # | |
Show NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error showsPrec :: Int -> NotEnoughItemsInstr -> ShowS # show :: NotEnoughItemsInstr -> String # showList :: [NotEnoughItemsInstr] -> ShowS # | |
Buildable NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error build :: NotEnoughItemsInstr -> Builder # |
data TCTypeError Source #
Data type that represents various errors
which are related to type system.
These errors are used to specify info about type check errors
in TCError
data type.
AnnError AnnConvergeError | Annotation unify error |
TypeEqError T T | Type equality error |
StackEqError [T] [T] | Stacks equality error |
UnsupportedTypes [T] | Error that happens when type cannot be used in the corresponding scope.
Argument of this constructor carries types which, in the aggregate, violate
the restriction (e.g. |
InvalidValueType T | Error that happens when a |
NotEnoughItemsOnStack Word NotEnoughItemsInstr | There are not enough items on stack to perform a certain instruction. |
IllegalEntryPoint EpNameFromRefAnnError | Invalid entrypoint name provided |
UnknownContract Address | Contract with given address is not originated. |
EntryPointNotFound EpName | Given entrypoint is not present. |
IllegalParamDecl ParamEpError | Incorrect parameter declaration (with respect to entrypoints feature). |
NegativeNat | Natural numbers cannot be negative |
MutezOverflow | Exceeds the maximal mutez value |
InvalidAddress ParseEpAddressError | Address couldn't be parsed from its textual representation |
InvalidKeyHash CryptoParseError | KeyHash couldn't be parsed from its textual representation |
InvalidTimestamp | Timestamp is not RFC339 compliant |
Instances
Eq TCTypeError Source # | |
Defined in Michelson.TypeCheck.Error (==) :: TCTypeError -> TCTypeError -> Bool # (/=) :: TCTypeError -> TCTypeError -> Bool # | |
Show TCTypeError Source # | |
Defined in Michelson.TypeCheck.Error showsPrec :: Int -> TCTypeError -> ShowS # show :: TCTypeError -> String # showList :: [TCTypeError] -> ShowS # | |
Buildable TCTypeError Source # | |
Defined in Michelson.TypeCheck.Error build :: TCTypeError -> Builder # |
Type check error
Instances
Eq TCError Source # | |
Buildable ExpandedInstr => Show TCError Source # | |
Buildable ExpandedInstr => Exception TCError Source # | |
Defined in Michelson.TypeCheck.Error toException :: TCError -> SomeException # fromException :: SomeException -> Maybe TCError # displayException :: TCError -> String # | |
Buildable TCError Source # | |
Defined in Michelson.TypeCheck.Error |
Various type errors possible when checking Morley extension commands