Safe Haskell	None
Language	Haskell2010

Michelson.TypeCheck.Error

Description

Errors that can occur when some code is being typechecked.

Synopsis

data NotEnoughItemsInstr
- = NotEnoughDrop
- | NotEnoughDip
- | NotEnoughDig
- | NotEnoughDug
data TCTypeError
- = AnnError AnnConvergeError
- | TypeEqError T T
- | StackEqError [T] [T]
- | UnsupportedTypes [T]
- | InvalidValueType T
- | NotEnoughItemsOnStack !Word !NotEnoughItemsInstr
- | IllegalEntryPoint EpNameFromRefAnnError
- | 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 #
Instance details Defined in Michelson.TypeCheck.Error Methods (==) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool # (/=) :: NotEnoughItemsInstr -> NotEnoughItemsInstr -> Bool #
Show NotEnoughItemsInstr Source #
Instance details Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> NotEnoughItemsInstr -> ShowS # show :: NotEnoughItemsInstr -> String # showList :: [NotEnoughItemsInstr] -> ShowS #
Buildable NotEnoughItemsInstr Source #
Instance details 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. `timestamp` and `timestamp` passed to `MUL` instruction).
InvalidValueType T	Error that happens when a `Value` is never a valid source for this type (e.g. `timestamp` cannot be obtained from a `ValueTrue`)
NotEnoughItemsOnStack !Word !NotEnoughItemsInstr	There are not enough items on stack to perform a certain instruction.
IllegalEntryPoint EpNameFromRefAnnError	Invalid entrypoint name provided
IllegalParamDecl ParamEpError
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 #
Instance details Defined in Michelson.TypeCheck.Error Methods (==) :: TCTypeError -> TCTypeError -> Bool # (/=) :: TCTypeError -> TCTypeError -> Bool #
Show TCTypeError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> TCTypeError -> ShowS # show :: TCTypeError -> String # showList :: [TCTypeError] -> ShowS #
Buildable TCTypeError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods build :: TCTypeError -> Builder #

data TCError Source #

Type check error

Instances

Eq TCError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods (==) :: TCError -> TCError -> Bool # (/=) :: TCError -> TCError -> Bool #
Buildable ExpandedInstr => Show TCError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> TCError -> ShowS # show :: TCError -> String # showList :: [TCError] -> ShowS #
Buildable ExpandedInstr => Exception TCError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods toException :: TCError -> SomeException # fromException :: SomeException -> Maybe TCError # displayException :: TCError -> String #
Buildable TCError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods build :: TCError -> Builder #

data ExtError Source #

Various type errors possible when checking Morley extension commands

Instances

Eq ExtError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods (==) :: ExtError -> ExtError -> Bool # (/=) :: ExtError -> ExtError -> Bool #
Buildable ExtError Source #
Instance details Defined in Michelson.TypeCheck.Error Methods build :: ExtError -> Builder #

newtype StackSize Source #

Constructors

StackSize Natural

Instances

Eq StackSize Source #
Instance details Defined in Michelson.TypeCheck.Error Methods (==) :: StackSize -> StackSize -> Bool # (/=) :: StackSize -> StackSize -> Bool #
Show StackSize Source #
Instance details Defined in Michelson.TypeCheck.Error Methods showsPrec :: Int -> StackSize -> ShowS # show :: StackSize -> String # showList :: [StackSize] -> ShowS #

TCFailedOnInstr ExpandedInstr SomeHST Text InstrCallStack (Maybe TCTypeError)
TCFailedOnValue Value T Text InstrCallStack (Maybe TCTypeError)
TCContractError Text (Maybe TCTypeError)
TCUnreachableCode InstrCallStack (NonEmpty ExpandedOp)
TCExtError SomeHST InstrCallStack ExtError

LengthMismatch StackTypePattern
VarError Text StackFn
TypeMismatch StackTypePattern Int TCTypeError
TyVarMismatch Var Type StackTypePattern Int TCTypeError
StkRestMismatch StackTypePattern SomeHST SomeHST TCTypeError
TestAssertError Text
InvalidStackReference StackRef StackSize