val init :
unit ->
(Block.t
* Tezos_crypto.Signature.public_key_hash
* Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
* Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
Tezos_error_monad.TzCore.error list)
Stdlib.result
Lwt.tInitializes 2 addresses to do only operations plus one that will be used to bake.
val originate_contract :
string ->
string ->
Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract ->
Block.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
(Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract * Block.t,
Tezos_error_monad.TzCore.error list)
Stdlib.result
Lwt.tReturns a block in which the contract is originated.
val default_source :
Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contractval default_step_constants :
Tezos_protocol_alpha.Protocol.Script_interpreter.step_constantsval run_script :
Tezos_raw_protocol_alpha.Alpha_context.t ->
?step_constants:
Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants ->
string ->
?entrypoint:string ->
storage:string ->
parameter:string ->
unit ->
(Tezos_protocol_alpha.Protocol.Script_interpreter.execution_result
* (Tezos_raw_protocol_alpha.Script_ir_translator.ex_script * int),
Tezos_error_monad.TzCore.error list)
Stdlib.result
Lwt.tHelper function that parses and types a script, its initial storage and parameters from strings. It then executes the typed script with the storage and parameter and returns the result.