Michelson.Runtime

Executor and typechecker of a contract in Morley language.

High level interface for end user

originateContract :: FilePath -> OriginationOperation -> ("verbose" :! Bool) -> IO Address

Originate a contract. Returns the address of the originated contract.

runContract :: Maybe Timestamp -> Word64 -> Mutez -> FilePath -> Value -> Contract -> TxData -> ("verbose" :! Bool) -> ("dryRun" :! Bool) -> IO ()

Run a contract. The contract is originated first (if it's not already) and then we pretend that we send a transaction to it.

transfer :: Maybe Timestamp -> Word64 -> FilePath -> Address -> TxData -> ("verbose" :! Bool) -> ("dryRun" :? Bool) -> IO ()

Send a transaction to given address with given parameters.

Other helpers

parseContract :: Maybe FilePath -> Text -> Either ParserException (Contract' ParsedOp)

Parse a contract from Text.

parseExpandContract :: Maybe FilePath -> Text -> Either ParserException Contract

Parse a contract from Text and expand macros.

readAndParseContract :: Maybe FilePath -> IO (Contract' ParsedOp)

Read and parse a contract from give path or stdin (if the argument is Nothing). The contract is not expanded.

prepareContract :: Maybe FilePath -> IO Contract

Read a contract using readAndParseContract, expand and flatten. The contract is not type checked.

typeCheckWithDb :: FilePath -> Contract -> IO (Either TCError SomeContract)

Re-exports

data ContractState

State of a contract with code.

Constructors

ContractState

Fields

• csBalance :: Mutez

  Amount of mutez owned by this contract.

• csStorage :: Value

  Storage value associated with this contract.

• csContract :: Contract

  Contract itself (untyped).

• csTypedContract :: Maybe SomeContract
• csTypedStorage :: Maybe SomeValue

  We keep typed representation of contract code and storage in form, that hides their actual type in order to simplify the rest of the code (e.g. avoid type parameters for ContractState and so on). They are made optional in order to perform safe parsing from JSON (we simply return Nothing in this parser and use getTypedStorage or getTypedContract that optionally typecheck storage or contract code).

Instances

Show ContractState

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> ContractState -> ShowS

show :: ContractState -> String

showList :: [ContractState] -> ShowS

ToJSON ContractState

Defined in Michelson.Runtime.GState

Methods

toJSON :: ContractState -> Value

toEncoding :: ContractState -> Encoding

toJSONList :: [ContractState] -> Value

toEncodingList :: [ContractState] -> Encoding

FromJSON ContractState

Defined in Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser ContractState

parseJSONList :: Value -> Parser [ContractState]

Buildable ContractState

Defined in Michelson.Runtime.GState

Methods

build :: ContractState -> Builder

data AddressState

State of an arbitrary address.

Constructors

ASSimple Mutez

For contracts without code we store only its balance.

ASContract ContractState

For contracts with code we store more state represented by ContractState.

Instances

Show AddressState

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> AddressState -> ShowS

show :: AddressState -> String

showList :: [AddressState] -> ShowS

Generic AddressState

Defined in Michelson.Runtime.GState

Associated Types

type Rep AddressState :: Type -> Type

Methods

from :: AddressState -> Rep AddressState x

to :: Rep AddressState x -> AddressState

ToJSON AddressState

Defined in Michelson.Runtime.GState

Methods

toJSON :: AddressState -> Value

toEncoding :: AddressState -> Encoding

toJSONList :: [AddressState] -> Value

toEncodingList :: [AddressState] -> Encoding

FromJSON AddressState

Defined in Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser AddressState

parseJSONList :: Value -> Parser [AddressState]

Buildable AddressState

Defined in Michelson.Runtime.GState

Methods

build :: AddressState -> Builder

type Rep AddressState

Defined in Michelson.Runtime.GState

type Rep AddressState = D1 (MetaData "AddressState" "Michelson.Runtime.GState" "morley-0.6.0-IcSJJapq7QZIEQu7njyuVy" False) (C1 (MetaCons "ASSimple" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Mutez)) :+: C1 (MetaCons "ASContract" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ContractState)))

data TxData

Data associated with a particular transaction.

Constructors

TxData

Fields

• tdSenderAddress :: Address
• tdParameter :: Value
• tdEntrypoint :: EpName
• tdAmount :: Mutez

Instances

Eq TxData

Defined in Michelson.Runtime.TxData

Methods

(==) :: TxData -> TxData -> Bool

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

Show TxData

Defined in Michelson.Runtime.TxData

Methods

showsPrec :: Int -> TxData -> ShowS

show :: TxData -> String

showList :: [TxData] -> ShowS

For testing

data ExecutorOp

Operations executed by interpreter. In our model one Michelson's operation (operation type in Michelson) corresponds to 0 or 1 interpreter operation.

Note: Address is not part of TxData, because TxData is supposed to be provided by the user, while Address can be computed by our code.

Constructors

OriginateOp OriginationOperation

Originate a contract.

TransferOp Address TxData

Send a transaction to given address which is assumed to be the address of an originated contract.

Instances

Show ExecutorOp

Defined in Michelson.Runtime

Methods

showsPrec :: Int -> ExecutorOp -> ShowS

show :: ExecutorOp -> String

showList :: [ExecutorOp] -> ShowS

data ExecutorRes

Result of a single execution of interpreter.

Constructors

ExecutorRes

Fields

• _erGState :: GState

  New GState.

• _erOperations :: [ExecutorOp]

  List of operations to be added to the operations queue.

• _erUpdates :: [GStateUpdate]

  Updates applied to GState.

• _erInterpretResults :: [(Address, InterpretResult)]

  During execution a contract can print logs and in the end it returns a pair. All logs and returned values are kept until all called contracts are executed. In the end they are printed.

• _erSourceAddress :: Maybe Address

  As soon as transfer operation is encountered, this address is set to its input.

• _erRemainingSteps :: RemainingSteps

  Now much gas all remaining executions can consume.

Instances

Show ExecutorRes

Defined in Michelson.Runtime

Methods

showsPrec :: Int -> ExecutorRes -> ShowS

show :: ExecutorRes -> String

showList :: [ExecutorRes] -> ShowS

Semigroup ExecutorRes

Defined in Michelson.Runtime

Methods

(<>) :: ExecutorRes -> ExecutorRes -> ExecutorRes

sconcat :: NonEmpty ExecutorRes -> ExecutorRes

stimes :: Integral b => b -> ExecutorRes -> ExecutorRes

data ExecutorError' a

Errors that can happen during contract interpreting. Type parameter a determines how contracts will be represented in these errors, e.g. Address

Constructors

EEUnknownContract !a

The interpreted contract hasn't been originated.

EEInterpreterFailed !a !InterpretError

Interpretation of Michelson contract failed.

EEAlreadyOriginated !a !ContractState

A contract is already originated.

EEUnknownSender !a

Sender address is unknown.

EEUnknownManager !a

Manager address is unknown.

EENotEnoughFunds !a !Mutez

Sender doesn't have enough funds.

EEZeroTransaction !a

Sending 0tz towards an address.

EEFailedToApplyUpdates !GStateUpdateError

Failed to apply updates to GState.

EEIllTypedContract !TCError

A contract is ill-typed.

EEIllTypedStorage !TCError

Contract storage is ill-typed.

EEIllTypedParameter !TCError

Contract parameter is ill-typed.

EEUnknownEntrypoint EpName

Specified entrypoint to run is not found.

Instances

Show a => Show (ExecutorError' a)

Defined in Michelson.Runtime

Methods

showsPrec :: Int -> ExecutorError' a -> ShowS

show :: ExecutorError' a -> String

showList :: [ExecutorError' a] -> ShowS

(Typeable a, Show a, Buildable a) => Exception (ExecutorError' a)

Defined in Michelson.Runtime

Methods

toException :: ExecutorError' a -> SomeException

fromException :: SomeException -> Maybe (ExecutorError' a)

displayException :: ExecutorError' a -> String

Buildable a => Buildable (ExecutorError' a)

Defined in Michelson.Runtime

Methods

build :: ExecutorError' a -> Builder

type ExecutorError = ExecutorError' Address

executorPure :: Timestamp -> RemainingSteps -> GState -> [ExecutorOp] -> Either ExecutorError ExecutorRes

Implementation of executor outside IO. It reads operations, executes them one by one and updates state accordingly. Each operation from the passed list is fully executed before the next one is considered.

To avoid warnings (can't generate lenses only for some fields)

erInterpretResults :: Lens' ExecutorRes [(Address, InterpretResult)]

erUpdates :: Lens' ExecutorRes [GStateUpdate]