package tezos-protocol-005-PsBabyM1
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-005-PsBabyM1.raw/Tezos_raw_protocol_005_PsBabyM1/Helpers_services/Scripts/index.html
Module Helpers_services.ScriptsSource
Source
val run_code :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Tez.t
* Tezos_protocol_environment_005_PsBabyM1.Chain_id.t
* Alpha_context.Contract.t option
* Alpha_context.Contract.t option
* Tezos_protocol_environment_005_PsBabyM1.Z.t option
* string) ->
(Alpha_context.Script.expr
* Alpha_context.packed_internal_operation list
* Alpha_context.Contract.big_map_diff option)
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val trace_code :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Alpha_context.Tez.t
* Tezos_protocol_environment_005_PsBabyM1.Chain_id.t
* Alpha_context.Contract.t option
* Alpha_context.Contract.t option
* Tezos_protocol_environment_005_PsBabyM1.Z.t 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_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val typecheck_code :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr
* Tezos_protocol_environment_005_PsBabyM1.Z.t option) ->
(Script_tc_errors.type_map * Alpha_context.Gas.t)
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val typecheck_data :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Tezos_protocol_environment_005_PsBabyM1.Z.t option) ->
Alpha_context.Gas.t
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val pack_data :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
(Alpha_context.Script.expr
* Alpha_context.Script.expr
* Tezos_protocol_environment_005_PsBabyM1.Z.t option) ->
(Tezos_protocol_environment_005_PsBabyM1.MBytes.t * Alpha_context.Gas.t)
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val run_operation :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
(Alpha_context.packed_operation
* Tezos_protocol_environment_005_PsBabyM1.Chain_id.t) ->
(Alpha_context.packed_protocol_data * Apply_results.packed_operation_metadata)
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.tSource
val list_entrypoints :
'a Tezos_protocol_environment_005_PsBabyM1.RPC_context.simple ->
'a ->
Alpha_context.Script.expr ->
(Michelson_v1_primitives.prim list list
* (string * Alpha_context.Script.expr) list)
Tezos_protocol_environment_005_PsBabyM1.Error_monad.shell_tzresult
Tezos_protocol_environment_005_PsBabyM1.Lwt.t