package tezos-protocol-007-PsDELPH1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-007-PsDELPH1.raw/Tezos_raw_protocol_007_PsDELPH1/Helpers_services/Scripts/index.html
Module Helpers_services.ScriptsSource
Source
val run_code :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Tez.t
* Tezos_protocol_environment_007_PsDELPH1.Chain_id.t
* Alpha_context.Contract.t option
* Alpha_context.Contract.t option
* Alpha_context.Gas.Arith.integral option
* string) ->
(Alpha_context.Script.expr
* Alpha_context.packed_internal_operation list
* Alpha_context.Contract.big_map_diff option)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val trace_code :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Tez.t
* Tezos_protocol_environment_007_PsDELPH1.Chain_id.t
* Alpha_context.Contract.t option
* Alpha_context.Contract.t option
* Alpha_context.Gas.Arith.integral option
* string) ->
(Alpha_context.Script.expr
* Alpha_context.packed_internal_operation list
* Script_interpreter.execution_trace
* Alpha_context.Contract.big_map_diff option)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val typecheck_code :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr * Alpha_context.Gas.Arith.integral option) ->
(Script_tc_errors.type_map * Alpha_context.Gas.t)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val typecheck_data :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Gas.Arith.integral option) ->
Alpha_context.Gas.t
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val pack_data :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Gas.Arith.integral option) ->
(Tezos_protocol_environment_007_PsDELPH1.MBytes.t * Alpha_context.Gas.t)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val run_operation :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
(Alpha_context.packed_operation
* Tezos_protocol_environment_007_PsDELPH1.Chain_id.t) ->
(Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.tSource
val list_entrypoints :
'a Tezos_protocol_environment_007_PsDELPH1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Michelson_v1_primitives.prim list list
* (string * Alpha_context.Script.expr) list)
Tezos_protocol_environment_007_PsDELPH1.Error_monad.shell_tzresult
Tezos_protocol_environment_007_PsDELPH1.Lwt.t