Morley.Michelson.Runtime.RunCode

Emulation of run_code.

Documentation

runCode :: RunCodeParameters cp epArg st -> Either (InterpretError Void) ([Operation], Value st)

Emulate run_code RPC endpoint to an extent. Unlike runContract, runs the contract through the emulator directly, without doing any operations. This includes not doing the origination operation, and not applying the operations produced by the transfer.

data RunCodeParameters cp epArg st

Data required for calling runCode.

Constructors

RunCodeParameters

Fields

• rcScript :: Contract cp st

  Contract code to run

• rcStorage :: Value st

  Initial contract storage

• rcInput :: Value epArg

  Parameter to call the contract

• rcEntryPoint :: EntrypointCallT cp epArg

  Entrypoint to call. Use mkEntrypointCall to construct.

• rcAmount :: Mutez

  Transfer amount

• rcBalance :: Mutez

  Contract initial balance

• rcChainId :: ChainId

  Chain id

• rcNow :: Timestamp

  The result of NOW instruction

• rcLevel :: Natural

  The result of LEVEL instruction

• rcMinBlockTime :: Natural

  The result of MIN_BLOCK_TIME instruction

• rcSource :: L1Address

  Transfer source

• rcSender :: L1Address

  Transfer sender

• rcKnownContracts :: Map ContractAddress ContractState

  Known contracts and their state. If you only know parameter types and don't need to run contract's views, you can use dummyContractState to construct the state.

• rcSelf :: Maybe ContractAddress

  Address returned by the SELF instruction, will be auto-generated if Nothing

• rcDelegate :: Maybe KeyHash

  Contract's delegate

• rcVotingPowers :: VotingPowers

  Voting powers

runCodeParameters

Arguments

:: Contract cp st

Contract to run

-> Value st

Contract storage

-> EntrypointCallT cp epArg

Entrypoint call specification

-> Value epArg

Entrypoint argument

-> RunCodeParameters cp epArg st

Construct RunCodeParameters with some reasonable defaults.

Prepare untyped storage and parameter with resolveRunCodeBigMaps.

Use mkEntrypointCall or mkDefEntrypointCall to construct the entrypoint call specification.

resolveRunCodeBigMaps :: SingI t => BigMapFinder -> Value -> Either TcError (Value t)

Given an untyped value, possibly containing big_map ids, typecheck it, resolving ids to the corresponding big_maps.

BigMapFinder can be constructed using mkBigMapFinder.