package tezos-shell-services

You can search for identifiers within the package.

in-package search v0.2.0

tezos-shell-services
- Tezos_shell_services
  - Block_services
    
    Empty
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    S
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    Fake_protocol
    
    Make
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Next_proto
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    Proto
    
    S
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    PROTO
  - Block_validator_errors
  - Block_validator_worker_state
    
    Event
    
    Request
  - Chain_services
    
    Blocks
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    S
    
    Context
    
    Header
    
    Helpers
    
    Forge
    
    Preapply
    
    Mempool
    
    Operation_hashes
    
    Operation_metadata_hashes
    
    Operations
    
    Invalid_blocks
    
    Levels
    
    S
    
    Blocks
    
    Invalid_blocks
    
    Levels
  - Chain_validator_worker_state
    
    Distributed_db_state
    
    Event
    
    Request
  - Config_services
    
    Logging
    
    Network
  - History_mode
    
    Legacy
  - Injection_services
    
    S
  - Monitor_services
    
    S
  - Peer_validator_worker_state
    
    Event
    
    Request
  - Preapply_result
  - Prevalidator_worker_state
    
    Event
    
    Operation_encountered
    
    Request
  - Protocol_services
    
    S
  - Shell_services
  - Stat_services
    
    S
  - State_events
  - Store_errors
  - Validation_errors
  - Validation_events
  - Version_services
    
    S
  - Worker_services
    
    Block_validator
    
    S
    
    Chain_validators
    
    S
    
    Peer_validators
    
    S
    
    Prevalidators
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

type chain = [

| `Main
| `Test
| `Hash of Tezos_crypto.Chain_id.t

]

type chain_prefix = unit * chain

val chain_path : (unit, chain_prefix) Tezos_rpc.RPC_path.t

val parse_chain : string -> (chain, string) result

val chain_to_string : chain -> string

val chain_arg : chain Tezos_rpc.RPC_arg.t

type block = [

| `Genesis
(*
The genesis block
*)
| `Head of int
(*
The nth predecessor of the current_head block if n > 0. If n = 0, represents the current_head. n should not be negative since the current_head does not have successors.
*)
| `Alias of [ `Caboose | `Checkpoint | `Savepoint ] * int
(*
The nth predecessor of the caboose, the checkpoint or the savepoint if n > 0. If n = 0, represents the block itself. If n < 0, represents the nth successor.
*)
| `Hash of Tezos_crypto.Block_hash.t * int
(*
The nth predecessor of the block of given hash if n > 0. If n = 0, represents the block itself. Otherwise, if n < 0, represents the nth successor.
*)
| `Level of Int32.t
(*
The block at a given level
*)

]

A representation of a block's position relatively to a known block of a chain.

val parse_block : string -> (block, string) result

val to_string : block -> string

type prefix = (unit * chain) * block

val dir_path : (chain_prefix, chain_prefix) Tezos_rpc.RPC_path.t

val path : (chain_prefix, chain_prefix * block) Tezos_rpc.RPC_path.t

val mempool_path : 
  ('a, 'b) Tezos_rpc.RPC_path.t ->
  ('a, 'b) Tezos_rpc.RPC_path.t

val live_blocks_path : 
  ('a, 'b) Tezos_rpc.RPC_path.t ->
  ('a, 'b) Tezos_rpc.RPC_path.t

type operation_list_quota = {

max_size : int;
max_op : int option;

}

type raw_context =

| Key of Bytes.t
(*
A leaf, containing a value
*)
| Dir of raw_context Tezos_stdlib.TzString.Map.t
(*
A directory, mapping keys to nested raw_contexts
*)
| Cut
(*
An omitted piece, because it is too deep compared to the maximum depth requested in the /chains/<chain_id>/blocks/<block_id/context/raw/bytes RPC
*)

The low-level storage exposed as a tree

val raw_context_eq : raw_context -> raw_context -> bool

raw_context_eq rc1 rc2 tests whether rc1 and rc2 are equal, * that is, have the same constructors; and the constructor's content * are recursively equal

val raw_context_encoding : raw_context Data_encoding.t

val pp_raw_context : Format.formatter -> raw_context -> unit

val raw_context_insert : 
  (string list * raw_context) ->
  raw_context ->
  raw_context

raw_context_insert (k,v) c inserts a key-value pair (k,v) in a raw_context c. If k collides to a existing sub-tree in c, the sub-tree is replaced by a new key-value pair.

type merkle_hash_kind =

| Contents
(*
The kind associated to leaves
*)
| Node
(*
The kind associated to directories
*)

The kind of a merkle_node

type merkle_node =

| Hash of merkle_hash_kind * string
(*
A shallow node: just a hash
*)
| Data of raw_context
(*
A full-fledged node containing actual data
*)
| Continue of merkle_tree
(*
An edge to a more nested tree
*)

A node in a merkle_tree

and merkle_tree = merkle_node Tezos_stdlib.TzString.Map.t

The type of Merkle tree used by the light mode

val merkle_tree_eq : merkle_tree -> merkle_tree -> bool

merkle_tree_eq mtree1 mtree2 tests whether mtree1 and mtree2 are equal, * that is, have the same constructors; and the constructor's content * are recursively equal

type merkle_leaf_kind =

| Hole
| Raw_context

Whether an RPC caller requests an entirely shallow Merkle tree (Hole) or whether the returned tree should contain data at the given key (Raw_context)

val pp_merkle_node : Format.formatter -> merkle_node -> unit

val pp_merkle_tree : Format.formatter -> merkle_tree -> unit

module type PROTO = sig ... end

type protocols = {

current_protocol : Tezos_crypto.Protocol_hash.t;
next_protocol : Tezos_crypto.Protocol_hash.t;

}

val protocols : 
  Tezos_rpc.RPC_context.simple ->
  ?chain:chain ->
  ?block:block ->
  unit ->
  (protocols, Tezos_error_monad.TzCore.error list) result Lwt.t

module Make (Proto : PROTO) (Next_proto : PROTO) : sig ... end

module Fake_protocol : PROTO

module Empty : sig ... end