Module `Tezos_raw_protocol_alpha.Contract_services`Source

This module defines RPC services to access the information associated to contracts (balance, delegate, script, etc.).

val list : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t list
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype 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;

}

Sourceval info_encoding : info Tezos_protocol_environment_alpha.Data_encoding.t

Source

val info : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  normalize_types:bool ->
  info Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val balance : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val frozen_bonds : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val balance_and_frozen_bonds : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val staked_balance : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val unstaked_frozen_balance : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val unstaked_finalizable_balance : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val unstake_requests : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Unstake_requests.prepared_finalize_unstake option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val full_balance : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.Tez.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val manager_key : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  Alpha_context.public_key option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val delegate : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val delegate_opt : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Contract.t ->
  Alpha_context.public_key_hash option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val counter : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.public_key_hash ->
  Alpha_context.Manager_counter.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val script : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  Alpha_context.Script.t
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val script_opt : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  Alpha_context.Script.t option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val storage : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val entrypoint_type : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  Alpha_context.Entrypoint.t ->
  normalize_types:bool ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val list_entrypoints : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  normalize_types:bool ->
  (Michelson_v1_primitives.prim list list
   * (string * Alpha_context.Script.expr) list)
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val storage_opt : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val big_map_get : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Alpha_context.Big_map.Id.t ->
  Script_expr_hash.t ->
  Alpha_context.Script.expr
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val contract_big_map_get_opt : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  (Alpha_context.Script.expr * Alpha_context.Script.expr) ->
  Alpha_context.Script.expr option
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val single_sapling_get_diff : 
  'a Tezos_protocol_environment_alpha.RPC_context.simple ->
  'a ->
  Contract_hash.t ->
  ?offset_commitment:int64 ->
  ?offset_nullifier:int64 ->
  unit ->
  (Alpha_context.Sapling.root * Alpha_context.Sapling.diff)
    Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourceval register : unit -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Contract_services/index.html

Module `Tezos_raw_protocol_alpha.Contract_services`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Contract_services/index.html

Module Tezos_raw_protocol_alpha.Contract_servicesSource

Module `Tezos_raw_protocol_alpha.Contract_services`Source