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 :: Map Address UntypedContract

  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 InterpreterEnv s

Constructors

InterpreterEnv

Fields

• ieContractEnv :: ContractEnv
• ieItHandler :: (InstrExtT, SomeItStack) -> EvalOp s ()

data InterpreterState s

Constructors

InterpreterState

Fields

• isExtState :: s
• isRemainingSteps :: RemainingSteps

Instances

Show s => Show (InterpreterState s)

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpreterState s -> ShowS

show :: InterpreterState s -> String

showList :: [InterpreterState s] -> 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 :: Val Instr t -> MichelsonFailed

MichelsonArithError :: ArithError (CVal n) (CVal m) -> MichelsonFailed

MichelsonGasExhaustion :: MichelsonFailed

MichelsonFailedOther :: Text -> MichelsonFailed

Instances

Show MichelsonFailed

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> MichelsonFailed -> ShowS

show :: MichelsonFailed -> String

showList :: [MichelsonFailed] -> ShowS

ConversibleExt => 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 :: Typeable inp => Rec (Val Instr) inp -> SomeItStack

type EvalOp s a = ExceptT MichelsonFailed (ReaderT (InterpreterEnv s) (State (InterpreterState s))) a

interpret :: (ExtC, ToJSON ExpandedInstrExtU, Typeable cp, Typeable st) => Contract cp st -> Val Instr cp -> Val Instr st -> InterpreterEnv s -> s -> ContractReturn s st

type ContractReturn s st = (Either MichelsonFailed ([Operation Instr], Val Instr st), InterpreterState s)

interpretUntyped :: forall s. (ExtC, ToJSON ExpandedInstrExtU) => TcExtHandler -> UntypedContract -> UntypedValue -> UntypedValue -> InterpreterEnv s -> s -> Either (InterpretUntypedError s) (InterpretUntypedResult s)

Interpret a contract without performing any side effects.

data InterpretUntypedError s

Constructors

RuntimeFailure (MichelsonFailed, s)

IllTypedContract TCError

IllTypedParam TCError

IllTypedStorage TCError

UnexpectedParamType Text

UnexpectedStorageType Text

Instances

(Buildable ExpandedInstr, Show s) => Show (InterpretUntypedError s)

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpretUntypedError s -> ShowS

show :: InterpretUntypedError s -> String

showList :: [InterpretUntypedError s] -> ShowS

Generic (InterpretUntypedError s)

Defined in Michelson.Interpret

Associated Types

type Rep (InterpretUntypedError s) :: Type -> Type

Methods

from :: InterpretUntypedError s -> Rep (InterpretUntypedError s) x

to :: Rep (InterpretUntypedError s) x -> InterpretUntypedError s

(ConversibleExt, Buildable s) => Buildable (InterpretUntypedError s)

Defined in Michelson.Interpret

Methods

build :: InterpretUntypedError s -> Builder

type Rep (InterpretUntypedError s)

Defined in Michelson.Interpret

type Rep (InterpretUntypedError s) = D1 (MetaData "InterpretUntypedError" "Michelson.Interpret" "morley-0.2.0.1-FliIoxX7mVfHuhHSaQftJN" False) ((C1 (MetaCons "RuntimeFailure" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MichelsonFailed, s))) :+: (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 Text)) :+: C1 (MetaCons "UnexpectedStorageType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

data InterpretUntypedResult s where

Constructors

InterpretUntypedResult

Fields

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

Instances

Show s => Show (InterpretUntypedResult s)

Defined in Michelson.Interpret

Methods

showsPrec :: Int -> InterpretUntypedResult s -> ShowS

show :: InterpretUntypedResult s -> String

showList :: [InterpretUntypedResult s] -> ShowS

runInstr :: (ExtC, ToJSON ExpandedInstrExtU, Typeable inp) => Instr inp out -> Rec (Val Instr) inp -> EvalOp state (Rec (Val Instr) out)

Function to change amount of remaining steps stored in State monad

runInstrNoGas :: forall a b state. (ExtC, ToJSON ExpandedInstrExtU, Typeable a) => Instr a b -> Rec (Val Instr) a -> EvalOp state (Rec (Val Instr) b)