Contract_services (octez-protocol-021-PsQuebec-libs.Tezos_protocol_plugin_021_PsQuebec.Contract

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

type info = {

balance : Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Tez.t;
delegate : Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.public_key_hash option;
counter : Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Manager_counter.t option;
script : Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Script.t option;

}

val info_encoding : 
  info Tezos_protocol_021_PsQuebec.Environment.Data_encoding.t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val single_sapling_get_diff : 
  'a Tezos_protocol_021_PsQuebec.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_021_PsQuebec.Protocol.Contract_hash.t ->
  ?offset_commitment:int64 ->
  ?offset_nullifier:int64 ->
  unit ->
  (Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Sapling.root
   * Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Sapling.diff)
    Tezos_protocol_021_PsQuebec.Environment.Error_monad.shell_tzresult
    Tezos_protocol_021_PsQuebec.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