Contract_services (octez-protocol-023-PtSeouLo-libs.Tezos_protocol_plugin_023_PtSeouLo.Contract

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

type info = {

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

}

val info_encoding : 
  info Tezos_protocol_023_PtSeouLo.Environment.Data_encoding.t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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