Mavryk_raw_protocol_001_PtAtLas.Contract_services
This module defines RPC services to access the information associated to contracts (balance, delegate, script, etc.).
type info = {
balance : Alpha_context.Tez.t;
delegate : Alpha_context.public_key_hash option;
counter : Alpha_context.Manager_counter.t option;
script : Alpha_context.Script.t option;
}
val info_encoding :
info Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t
val info :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Alpha_context.Contract.t ->
normalize_types:bool ->
info Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val unstaked_frozen_balance :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Alpha_context.Contract.t ->
Alpha_context.Tez.t option
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val unstaked_finalizable_balance :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Alpha_context.Contract.t ->
Alpha_context.Tez.t option
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val entrypoint_type :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Contract_hash.t ->
Alpha_context.Entrypoint.t ->
normalize_types:bool ->
Alpha_context.Script.expr
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val list_entrypoints :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Contract_hash.t ->
normalize_types:bool ->
(Michelson_v1_primitives.prim list list
* (string * Alpha_context.Script.expr) list)
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val contract_big_map_get_opt :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Contract_hash.t ->
(Alpha_context.Script.expr * Alpha_context.Script.expr) ->
Alpha_context.Script.expr option
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t
val single_sapling_get_diff :
'a Mavryk_protocol_environment_001_PtAtLas.RPC_context.simple ->
'a ->
Contract_hash.t ->
?offset_commitment:int64 ->
?offset_nullifier:int64 ->
unit ->
(Alpha_context.Sapling.root * Alpha_context.Sapling.diff)
Mavryk_protocol_environment_001_PtAtLas.Error_monad.shell_tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t