package tezos-legacy-store

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Network
Block database
Protocol database

tezos-legacy-store
- Tezos_legacy_store
  - Legacy_chain
  - Legacy_chain_traversal
  - Legacy_snapshots
  - Legacy_state
    
    Block
    
    Header
    
    Chain
    
    Current_mempool
    
    Protocol
  - Legacy_store
    
    Block
    
    Block_metadata_hash
    
    Contents
    
    Invalid_block
    
    Operation_hashes
    
    Operations
    
    Operations_metadata
    
    Operations_metadata_hashes
    
    Predecessors
    
    Pruned_contents
    
    Chain
    
    Allow_forked_chain
    
    Expiration
    
    Genesis_hash
    
    Genesis_protocol
    
    Genesis_test_protocol
    
    Genesis_time
    
    Protocol_info
    
    Chain_data
    
    Caboose
    
    Checkpoint
    
    Current_head
    
    In_main_branch
    
    Known_heads
    
    Save_point
    
    Configuration
    
    History_mode
    
    Forking_block_hash
    
    Protocol
    
    Contents
    
    RawContents
  - Raw_store
  - Store_events
  - Store_helpers
    
    Integer_index
    
    Make_buffered_map
    
    I
    
    Map
    
    Legacy
    
    S
    
    V
    
    Make_buffered_set
    
    I
    
    S
    
    Set
    
    Legacy
    
    Make_indexed_substore
    
    I
    
    Make_buffered_map
    
    Map
    
    Legacy
    
    N
    
    V
    
    Make_buffered_set
    
    N
    
    Set
    
    Legacy
    
    Make_map
    
    N
    
    V
    
    Make_set
    
    N
    
    S
    
    Store
    
    Make_map
    
    I
    
    S
    
    V
    
    Make_set
    
    I
    
    S
    
    Make_single_store
    
    N
    
    S
    
    V
    
    Make_substore
    
    N
    
    S
    
    Make_value
    
    V
    
    Raw_value
  - Store_sigs
    
    BUFFERED_MAP_STORE
    
    Map
    
    Legacy
    
    BUFFERED_SET_STORE
    
    Set
    
    Legacy
    
    ENCODED_VALUE
    
    INDEX
    
    INDEXED_STORE
    
    Make_buffered_map
    
    Map
    
    Legacy
    
    N
    
    V
    
    Make_buffered_set
    
    N
    
    Set
    
    Legacy
    
    Make_map
    
    N
    
    V
    
    Make_set
    
    N
    
    Store
    
    MAP_STORE
    
    NAME
    
    SET_STORE
    
    SINGLE_STORE
    
    STORE
    
    VALUE

Legend:
Library
Module
Module type
Parameter
Class
Class type

Tezos Shell - Abstraction over all the disk storage.

It encapsulates access to:

the index of validation contexts; and
the persistent state of the node:
the blockchain and its alternate heads ;
the pool of pending operations of a chain.

type t

type global_state = t

Network

module Chain : sig ... end

Data specific to a given chain (e.g. the main chain or the current test chain).

Block database

type Tezos_base__TzPervasives.error +=

| Block_not_found of Tezos_crypto.Block_hash.t

type Tezos_base__TzPervasives.error +=

| Block_contents_not_found of Tezos_crypto.Block_hash.t

module Block : sig ... end

val read_block : 
  global_state ->
  Tezos_crypto.Block_hash.t ->
  Block.t option Lwt.t

val read_block_exn : global_state -> Tezos_crypto.Block_hash.t -> Block.t Lwt.t

val watcher : t -> Block.t Lwt_stream.t * Lwt_watcher.stopper

val best_known_head_for_checkpoint : 
  Chain.t ->
  Tezos_base.Block_header.t ->
  Block.t Lwt.t

Computes the block with the best fitness amongst the known blocks which are compatible with the given checkpoint.

val update_testchain : Block.t -> testchain_state:Chain.t -> unit Lwt.t

val fork_testchain : 
  Block.t ->
  Tezos_crypto.Chain_id.t ->
  Tezos_crypto.Block_hash.t ->
  Tezos_base.Block_header.t ->
  Tezos_crypto.Protocol_hash.t ->
  Tezos_base.Time.Protocol.t ->
  (Chain.t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

type chain_data = {

current_head : Block.t;
current_mempool : Tezos_base.Mempool.t;
live_blocks : Tezos_crypto.Block_hash.Set.t;
live_operations : Tezos_crypto.Operation_hash.Set.t;
test_chain : Tezos_crypto.Chain_id.t option;
save_point : Stdlib.Int32.t * Tezos_crypto.Block_hash.t;
caboose : Stdlib.Int32.t * Tezos_crypto.Block_hash.t;

}

val read_chain_data : 
  Chain.t ->
  (Legacy_store.Chain_data.store -> chain_data -> 'a Lwt.t) ->
  'a Lwt.t

val update_chain_data : 
  Chain.t ->
  (Legacy_store.Chain_data.store ->
    chain_data ->
    (chain_data option * 'a) Lwt.t) ->
  'a Lwt.t

Protocol database

module Protocol : sig ... end

module Current_mempool : sig ... end

type Tezos_base__TzPervasives.error +=

| Incorrect_legacy_history_mode_switch of {
1. previous_mode : Tezos_shell_services.History_mode.Legacy.t;
2. next_mode : Tezos_shell_services.History_mode.Legacy.t;
}

val history_mode : 
  global_state ->
  Tezos_shell_services.History_mode.Legacy.t Lwt.t

val compute_locator : 
  Chain.t ->
  ?max_size:int ->
  Block.t ->
  Tezos_base.Block_locator.seed ->
  Tezos_base.Block_locator.t Lwt.t

compute_locator chain ?max_size block seed computes a locator of the chain from head to the chain's caboose or until the locator contains max_size steps. max_size defaults to 200.

val compute_protocol_locator : 
  Chain.t ->
  ?max_size:int ->
  proto_level:int ->
  Tezos_base.Block_locator.seed ->
  Tezos_base.Block_locator.t option Lwt.t

compute_protocol_locator chain ?max_size ~proto_level seed computes a locator for a specific protocol of level proto_level in the chain from the latest block with this protocol to its activation block or until the locator contains max_size steps. max_size defaults to 200.

val init : 
  ?patch_context:
    (Tezos_context.Context.t ->
      (Tezos_context.Context.t, Tezos_error_monad.TzCore.error list)
        Stdlib.result
        Lwt.t) ->
  ?commit_genesis:
    (chain_id:Tezos_crypto.Chain_id.t ->
      (Tezos_crypto.Context_hash.t, Tezos_error_monad.TzCore.error list)
        Stdlib.result
        Lwt.t) ->
  ?store_mapsize:int64 ->
  store_root:string ->
  context_root:string ->
  ?history_mode:Tezos_shell_services.History_mode.Legacy.t ->
  ?readonly:bool ->
  Tezos_base.Genesis.t ->
  (global_state
   * Chain.t
   * Tezos_context.Context.index
   * Tezos_shell_services.History_mode.Legacy.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

Read the internal state of the node and initialize the databases.

val close : global_state -> unit Lwt.t