Michelson.Interpret

Module, containing function to interpret Michelson instructions against given context and input stack.

Documentation

data ContractEnv

Environment for contract execution.

Constructors

ContractEnv

Fields

• ceNow :: !Timestamp

  Timestamp of the block whose validation triggered this execution.

• ceMaxSteps :: !RemainingSteps

  Number of steps after which execution unconditionally terminates.

• ceBalance :: !Mutez

  Current amount of mutez of the current contract.

• ceContracts :: TcOriginatedContracts

  Mapping from existing contracts' addresses to their executable representation.

• ceSelf :: !Address

  Address of the interpreted contract.

• ceSource :: !Address

  The contract that initiated the current transaction.

• ceSender :: !Address

  The contract that initiated the current internal transaction.

• ceAmount :: !Mutez

  Amount of the current transaction.

data InterpreterState

Constructors

InterpreterState

Fields

• isMorleyLogs :: MorleyLogs
• isRemainingSteps :: RemainingSteps

Instances

Show InterpreterState

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpreterState -> ShowS

show :: InterpreterState -> String

showList :: [InterpreterState] -> ShowS

data MichelsonFailed where

Represents `[FAILED]` state of a Michelson program. Contains value that was on top of the stack when FAILWITH was called.

Constructors

MichelsonFailedWith :: (Typeable t, SingI t) => Value t -> MichelsonFailed

MichelsonArithError :: (Typeable n, Typeable m) => ArithError (CValue n) (CValue m) -> MichelsonFailed

MichelsonGasExhaustion :: MichelsonFailed

MichelsonFailedTestAssert :: Text -> MichelsonFailed

Instances

Eq MichelsonFailed

Defined in Michelson.Interpret

Methods

(==) :: MichelsonFailed -> MichelsonFailed -> Bool

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

Show MichelsonFailed

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> MichelsonFailed -> ShowS

show :: MichelsonFailed -> String

showList :: [MichelsonFailed] -> ShowS

Buildable MichelsonFailed

Defined in Michelson.Interpret

Methods

build :: MichelsonFailed -> Builder

newtype RemainingSteps

Constructors

RemainingSteps Word64

Instances

Eq RemainingSteps

Defined in Michelson.Interpret

Methods

(==) :: RemainingSteps -> RemainingSteps -> Bool

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

Num RemainingSteps

Defined in Michelson.Interpret

Methods

(+) :: RemainingSteps -> RemainingSteps -> RemainingSteps

(-) :: RemainingSteps -> RemainingSteps -> RemainingSteps

(*) :: RemainingSteps -> RemainingSteps -> RemainingSteps

negate :: RemainingSteps -> RemainingSteps

abs :: RemainingSteps -> RemainingSteps

signum :: RemainingSteps -> RemainingSteps

fromInteger :: Integer -> RemainingSteps

Ord RemainingSteps

Defined in Michelson.Interpret

Methods

compare :: RemainingSteps -> RemainingSteps -> Ordering

(<) :: RemainingSteps -> RemainingSteps -> Bool

(<=) :: RemainingSteps -> RemainingSteps -> Bool

(>) :: RemainingSteps -> RemainingSteps -> Bool

(>=) :: RemainingSteps -> RemainingSteps -> Bool

max :: RemainingSteps -> RemainingSteps -> RemainingSteps

min :: RemainingSteps -> RemainingSteps -> RemainingSteps

Show RemainingSteps

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> RemainingSteps -> ShowS

show :: RemainingSteps -> String

showList :: [RemainingSteps] -> ShowS

Buildable RemainingSteps

Defined in Michelson.Interpret

Methods

build :: RemainingSteps -> Builder

data SomeItStack where

Constructors

SomeItStack :: ExtInstr inp -> Rec Value inp -> SomeItStack

type EvalOp a = ExceptT MichelsonFailed (ReaderT ContractEnv (State InterpreterState)) a

newtype MorleyLogs

Morley interpreter state

Constructors

MorleyLogs

Fields

• unMorleyLogs :: [Text]

Instances

Eq MorleyLogs

Defined in Michelson.Interpret

Methods

(==) :: MorleyLogs -> MorleyLogs -> Bool

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

Show MorleyLogs

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> MorleyLogs -> ShowS

show :: MorleyLogs -> String

showList :: [MorleyLogs] -> ShowS

Default MorleyLogs

Defined in Michelson.Interpret

Methods

def :: MorleyLogs

Buildable MorleyLogs

Defined in Michelson.Interpret

Methods

build :: MorleyLogs -> Builder

noMorleyLogs :: MorleyLogs

interpret :: Contract cp st -> Value cp -> Value st -> ContractEnv -> ContractReturn st

interpretRepeated :: Contract cp st -> [Value cp] -> Value st -> ContractEnv -> ContractReturn st

Emulate multiple calls of a contract.

type ContractReturn st = (Either MichelsonFailed ([Operation], Value st), InterpreterState)

interpretUntyped :: Contract -> Value -> Value -> ContractEnv -> Either InterpretUntypedError InterpretUntypedResult

Interpret a contract without performing any side effects.

data InterpretUntypedError

Constructors

RuntimeFailure (MichelsonFailed, MorleyLogs)

IllTypedContract TCError

IllTypedParam TCError

IllTypedStorage TCError

UnexpectedParamType TCTypeError

UnexpectedStorageType TCTypeError

Instances

Show InterpretUntypedError

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpretUntypedError -> ShowS

show :: InterpretUntypedError -> String

showList :: [InterpretUntypedError] -> ShowS

Generic InterpretUntypedError

Defined in Michelson.Interpret

Associated Types

type Rep InterpretUntypedError :: Type -> Type

Methods

from :: InterpretUntypedError -> Rep InterpretUntypedError x

to :: Rep InterpretUntypedError x -> InterpretUntypedError

Buildable InterpretUntypedError

Defined in Michelson.Interpret

Methods

build :: InterpretUntypedError -> Builder

type Rep InterpretUntypedError

Defined in Michelson.Interpret

type Rep InterpretUntypedError = D1 (MetaData "InterpretUntypedError" "Michelson.Interpret" "morley-0.3.0.1-Avb9bjjqJWNEobyGi9OGAh" False) ((C1 (MetaCons "RuntimeFailure" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MichelsonFailed, MorleyLogs))) :+: (C1 (MetaCons "IllTypedContract" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TCError)) :+: C1 (MetaCons "IllTypedParam" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TCError)))) :+: (C1 (MetaCons "IllTypedStorage" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TCError)) :+: (C1 (MetaCons "UnexpectedParamType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TCTypeError)) :+: C1 (MetaCons "UnexpectedStorageType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TCTypeError)))))

data InterpretUntypedResult where

Constructors

InterpretUntypedResult

Fields

• :: (Typeable st, SingI st, HasNoOp st)
• => { iurOps :: [Operation]
•    , iurNewStorage :: Value st
•    , iurNewState :: InterpreterState
•    } -> InterpretUntypedResult

Instances

Show InterpretUntypedResult

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpretUntypedResult -> ShowS

show :: InterpretUntypedResult -> String

showList :: [InterpretUntypedResult] -> ShowS

runInstr :: Instr inp out -> Rec Value inp -> EvalOp (Rec Value out)

Function to change amount of remaining steps stored in State monad

runInstrNoGas :: forall a b. Instr a b -> Rec Value a -> EvalOp (Rec Value b)

runUnpack :: forall t. (SingI t, HasNoOp t, HasNoBigMap t) => TcOriginatedContracts -> ByteString -> Either UnpackError (Value t)

Unpacks given raw data into a typed value.