Contract_services (octez-protocol-alpha-libs.Tezos_protocol_plugin_alpha.Contract

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

type info = {

balance : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t;
delegate : Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash option;
counter : Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t option;
script : Tezos_protocol_alpha.Protocol.Alpha_context.Script.t option;
revealed : bool option;

}

val info_encoding : info Tezos_protocol_alpha.Environment.Data_encoding.t

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

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

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

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

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

val staking_numerator : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Staking_pseudotoken.t
    Tezos_protocol_alpha.Environment.Error_monad.shell_tzresult
    Tezos_protocol_alpha.Environment.Lwt.t

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

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

val unstake_requests : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Unstake_requests.For_RPC.prepared_finalize_unstake
    option
    Tezos_protocol_alpha.Environment.Error_monad.shell_tzresult
    Tezos_protocol_alpha.Environment.Lwt.t

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

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

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

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

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

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

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

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

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

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

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

val estimated_own_pending_slashed_amount : 
  'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_alpha.Environment.Signature.public_key_hash ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
    Tezos_protocol_alpha.Environment.Error_monad.shell_tzresult
    Tezos_protocol_alpha.Environment.Lwt.t

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

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

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

val register : unit -> unit

module Implem : sig ... end

Functions used in the implementation of this file's RPCs, but also useful elsewhere (as opposed to the functions above, which call the RPCs). These functions are gathered in a separate module to avoid naming conflicts.

module S : sig ... end