| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Michelson.TypeCheck.Error
Description
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.
Constructors
| NotEnoughDrop | |
| NotEnoughDip | |
| NotEnoughDig | |
| NotEnoughDug |
Instances
| Eq NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error Methods (==) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool # (/=) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool # | |
| Show NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> NotEnoughItemsInstr -> ShowS # show :: NotEnoughItemsInstr -> String # showList :: [NotEnoughItemsInstr] -> ShowS # | |
| Buildable NotEnoughItemsInstr Source # | |
Defined in Michelson.TypeCheck.Error Methods 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.
Constructors
| 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 | |
| Show TCTypeError Source # | |
Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> TCTypeError -> ShowS # show :: TCTypeError -> String # showList :: [TCTypeError] -> ShowS # | |
| Buildable TCTypeError Source # | |
Defined in Michelson.TypeCheck.Error Methods build :: TCTypeError -> Builder # | |
Type check error
Constructors
Instances
| Eq TCError Source # | |
| Buildable ExpandedInstr => Show TCError Source # | |
| Buildable ExpandedInstr => Exception TCError Source # | |
Defined in Michelson.TypeCheck.Error Methods 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