Safe Haskell	None
Language	Haskell2010

Michelson.TypeCheck.Error

Documentation

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
ExtractionTypeMismatch TypeConvergeError	Notes extraction error
TypeEqError T T	Type equality error
StackEqError [T] [T]	Stacks equality error
UnsupportedTypes [T]	Error that happens when some instruction doesn't have support for some types
UnknownType T	Error that happens when we meet unknown type

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