Michelson.TypeCheck.Error

Errors that can occur when some code is being typechecked.

Documentation

data ExpectType

Description of the type to be expected by certain instruction.

Constructors

ExpectTypeVar

ExpectStackVar

ExpectBool

ExpectInt

ExpectNat

ExpectByte

ExpectString

ExpectAddress

ExpectKey

ExpectKeyHash

ExpectSignature

ExpectContract

ExpectMutez

ExpectList (Maybe ExpectType)

ExpectSet (Maybe ExpectType)

ExpectMap

ExpectBigMap

ExpectOption (Maybe ExpectType)

ExpectPair (Maybe ExpectType) (Maybe ExpectType)

ExpectOr (Maybe ExpectType) (Maybe ExpectType)

ExpectLambda (Maybe ExpectType) (Maybe ExpectType)

Instances

Eq ExpectType

Defined in Michelson.TypeCheck.Error

Methods

(==) :: ExpectType -> ExpectType -> Bool

(/=) :: ExpectType -> ExpectType -> Bool

Show ExpectType

Defined in Michelson.TypeCheck.Error

Methods

showsPrec :: Int -> ExpectType -> ShowS

show :: ExpectType -> String

showList :: [ExpectType] -> ShowS

Generic ExpectType

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep ExpectType :: Type -> Type

Methods

from :: ExpectType -> Rep ExpectType x

to :: Rep ExpectType x -> ExpectType

NFData ExpectType

Defined in Michelson.TypeCheck.Error

Methods

rnf :: ExpectType -> ()

Buildable ExpectType

Defined in Michelson.TypeCheck.Error

Methods

build :: ExpectType -> Builder

type Rep ExpectType

Defined in Michelson.TypeCheck.Error

type Rep ExpectType = D1 ('MetaData "ExpectType" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'False) ((((C1 ('MetaCons "ExpectTypeVar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectStackVar" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExpectBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpectInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectNat" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ExpectByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExpectAddress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpectKey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectKeyHash" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ExpectSignature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectContract" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExpectMutez" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpectList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType))) :+: C1 ('MetaCons "ExpectSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType)))))) :+: ((C1 ('MetaCons "ExpectMap" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpectBigMap" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpectOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType))))) :+: (C1 ('MetaCons "ExpectPair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType))) :+: (C1 ('MetaCons "ExpectOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType))) :+: C1 ('MetaCons "ExpectLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ExpectType))))))))

data TypeContext

Contexts where type error can occur.

Constructors

LambdaArgument

LambdaCode

DipCode

ConsArgument

ComparisonArguments

ContractParameter

ContractStorage

ArithmeticOperation

Iteration

Cast

CarArgument

CdrArgument

If

ConcatArgument

ContainerKeyType

ContainerValueType

Instances

Eq TypeContext

Defined in Michelson.TypeCheck.Error

Methods

(==) :: TypeContext -> TypeContext -> Bool

(/=) :: TypeContext -> TypeContext -> Bool

Show TypeContext

Defined in Michelson.TypeCheck.Error

Methods

showsPrec :: Int -> TypeContext -> ShowS

show :: TypeContext -> String

showList :: [TypeContext] -> ShowS

Generic TypeContext

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep TypeContext :: Type -> Type

Methods

from :: TypeContext -> Rep TypeContext x

to :: Rep TypeContext x -> TypeContext

NFData TypeContext

Defined in Michelson.TypeCheck.Error

Methods

rnf :: TypeContext -> ()

Buildable TypeContext

Defined in Michelson.TypeCheck.Error

Methods

build :: TypeContext -> Builder

type Rep TypeContext

Defined in Michelson.TypeCheck.Error

type Rep TypeContext = D1 ('MetaData "TypeContext" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'False) ((((C1 ('MetaCons "LambdaArgument" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LambdaCode" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DipCode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsArgument" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ComparisonArguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ContractParameter" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ContractStorage" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ArithmeticOperation" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Iteration" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cast" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CarArgument" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CdrArgument" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "If" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConcatArgument" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ContainerKeyType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ContainerValueType" 'PrefixI 'False) (U1 :: Type -> Type)))))

data TCTypeError

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

UnsupportedTypeForScope T BadTypeForScope

Error that happens when type cannot be used in the corresponding scope. Argument of this constructor carries type which violates the restriction, e.g. big_map in UNPACK, and a concrete reason why the type is unsuported.

NotNumericTypes T T

Arithmetic operation is applied to types, at least one of which is not numeric (e.g. timestamp and timestamp passed to MUL instruction).

UnexpectedType (NonEmpty (NonEmpty ExpectType))

Error that happens when actual types are different from the type that instruction expects. The param is an non-empty list of all expected stack types that the instruction would accept. Each expected stack types is represented as non-empty list as well.

InvalidInstruction ExpandedInstr

Some instruction can not be used in a specific context, like SELF in LAMBDA.

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

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

CodeAlwaysFails

Code always fails, but shouldn't, like ITER body.

EmptyCode

Empty block of code, like ITER body.

AnyError

Generic error when instruction does not match something sensible.

Instances

Eq TCTypeError

Defined in Michelson.TypeCheck.Error

Methods

(==) :: TCTypeError -> TCTypeError -> Bool

(/=) :: TCTypeError -> TCTypeError -> Bool

Show TCTypeError

Defined in Michelson.TypeCheck.Error

Methods

showsPrec :: Int -> TCTypeError -> ShowS

show :: TCTypeError -> String

showList :: [TCTypeError] -> ShowS

Generic TCTypeError

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep TCTypeError :: Type -> Type

Methods

from :: TCTypeError -> Rep TCTypeError x

to :: Rep TCTypeError x -> TCTypeError

NFData TCTypeError

Defined in Michelson.TypeCheck.Error

Methods

rnf :: TCTypeError -> ()

Buildable TCTypeError

Defined in Michelson.TypeCheck.Error

Methods

build :: TCTypeError -> Builder

type Rep TCTypeError

Defined in Michelson.TypeCheck.Error

type Rep TCTypeError = D1 ('MetaData "TCTypeError" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'False) ((((C1 ('MetaCons "AnnError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AnnConvergeError)) :+: C1 ('MetaCons "TypeEqError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T))) :+: (C1 ('MetaCons "StackEqError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [T]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [T])) :+: (C1 ('MetaCons "UnsupportedTypeForScope" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BadTypeForScope)) :+: C1 ('MetaCons "NotNumericTypes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T))))) :+: ((C1 ('MetaCons "UnexpectedType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (NonEmpty ExpectType)))) :+: C1 ('MetaCons "InvalidInstruction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExpandedInstr))) :+: (C1 ('MetaCons "InvalidValueType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :+: (C1 ('MetaCons "NotEnoughItemsOnStack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IllegalEntrypoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpNameFromRefAnnError)))))) :+: (((C1 ('MetaCons "UnknownContract" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Address)) :+: C1 ('MetaCons "EntrypointNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 EpName))) :+: (C1 ('MetaCons "IllegalParamDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParamEpError)) :+: (C1 ('MetaCons "NegativeNat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutezOverflow" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InvalidAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParseEpAddressError)) :+: (C1 ('MetaCons "InvalidKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CryptoParseError)) :+: C1 ('MetaCons "InvalidTimestamp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CodeAlwaysFails" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EmptyCode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AnyError" 'PrefixI 'False) (U1 :: Type -> Type))))))

data TCError

Type check error

Constructors

TCFailedOnInstr ExpandedInstr SomeHST InstrCallStack (Maybe TypeContext) (Maybe TCTypeError)

TCFailedOnValue Value T Text InstrCallStack (Maybe TCTypeError)

TCContractError Text (Maybe TCTypeError)

TCUnreachableCode InstrCallStack (NonEmpty ExpandedOp)

TCExtError SomeHST InstrCallStack ExtError

TCIncompletelyTyped TCError (Contract' TypeCheckedOp)

Instances

Eq TCError

Defined in Michelson.TypeCheck.Error

Methods

(==) :: TCError -> TCError -> Bool

(/=) :: TCError -> TCError -> Bool

Show TCError

Defined in Michelson.TypeCheck.Error

Methods

showsPrec :: Int -> TCError -> ShowS

show :: TCError -> String

showList :: [TCError] -> ShowS

Generic TCError

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep TCError :: Type -> Type

Methods

from :: TCError -> Rep TCError x

to :: Rep TCError x -> TCError

Exception TCError

Defined in Michelson.TypeCheck.Error

Methods

toException :: TCError -> SomeException

fromException :: SomeException -> Maybe TCError

displayException :: TCError -> String

NFData TCError

Defined in Michelson.TypeCheck.Error

Methods

rnf :: TCError -> ()

Buildable TCError

Defined in Michelson.TypeCheck.Error

Methods

build :: TCError -> Builder

type Rep TCError

Defined in Michelson.TypeCheck.Error

type Rep TCError = D1 ('MetaData "TCError" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'False) ((C1 ('MetaCons "TCFailedOnInstr" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExpandedInstr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SomeHST)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InstrCallStack) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TypeContext)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TCTypeError))))) :+: (C1 ('MetaCons "TCFailedOnValue" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 T)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InstrCallStack) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TCTypeError))))) :+: C1 ('MetaCons "TCContractError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TCTypeError))))) :+: (C1 ('MetaCons "TCUnreachableCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InstrCallStack) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty ExpandedOp))) :+: (C1 ('MetaCons "TCExtError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SomeHST) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 InstrCallStack) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExtError))) :+: C1 ('MetaCons "TCIncompletelyTyped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TCError) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Contract' TypeCheckedOp))))))

data ExtError

Various type errors possible when checking Morley extension commands

Constructors

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

Instances

Eq ExtError

Defined in Michelson.TypeCheck.Error

Methods

(==) :: ExtError -> ExtError -> Bool

(/=) :: ExtError -> ExtError -> Bool

Generic ExtError

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep ExtError :: Type -> Type

Methods

from :: ExtError -> Rep ExtError x

to :: Rep ExtError x -> ExtError

NFData ExtError

Defined in Michelson.TypeCheck.Error

Methods

rnf :: ExtError -> ()

Buildable ExtError

Defined in Michelson.TypeCheck.Error

Methods

build :: ExtError -> Builder

type Rep ExtError

Defined in Michelson.TypeCheck.Error

type Rep ExtError = D1 ('MetaData "ExtError" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'False) ((C1 ('MetaCons "LengthMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern)) :+: (C1 ('MetaCons "VarError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackFn)) :+: C1 ('MetaCons "TypeMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TCTypeError))))) :+: ((C1 ('MetaCons "TyVarMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Var) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TCTypeError)))) :+: C1 ('MetaCons "StkRestMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackTypePattern) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SomeHST)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SomeHST) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TCTypeError)))) :+: (C1 ('MetaCons "TestAssertError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "InvalidStackReference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackRef) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StackSize)))))

newtype StackSize

Constructors

StackSize Natural

Instances

Eq StackSize

Defined in Michelson.TypeCheck.Error

Methods

(==) :: StackSize -> StackSize -> Bool

(/=) :: StackSize -> StackSize -> Bool

Show StackSize

Defined in Michelson.TypeCheck.Error

Methods

showsPrec :: Int -> StackSize -> ShowS

show :: StackSize -> String

showList :: [StackSize] -> ShowS

Generic StackSize

Defined in Michelson.TypeCheck.Error

Associated Types

type Rep StackSize :: Type -> Type

Methods

from :: StackSize -> Rep StackSize x

to :: Rep StackSize x -> StackSize

NFData StackSize

Defined in Michelson.TypeCheck.Error

Methods

rnf :: StackSize -> ()

type Rep StackSize

Defined in Michelson.TypeCheck.Error

type Rep StackSize = D1 ('MetaData "StackSize" "Michelson.TypeCheck.Error" "morley-1.10.0-inplace" 'True) (C1 ('MetaCons "StackSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))