Contract_services (octez-protocol-022-PsRiotum-libs.Tezos_protocol_plugin_022_PsRiotum.Contract

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

type info = {

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

}

val info_encoding : 
  info Tezos_protocol_022_PsRiotum.Environment.Data_encoding.t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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