Contract_services (octez-protocol-024-PsU87LFi-libs.Tezos_protocol_plugin_024_PsU87LFi.Contract

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

type info = {

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

}

val info_encoding : 
  info Tezos_protocol_024_PsU87LFi.Environment.Data_encoding.t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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