package tezos-tx-rollup-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

tezos-tx-rollup-015-PtLimaPt
- Tezos_tx_rollup_015_PtLimaPt
  - Accuser
  - Batcher
  - Batcher_worker_types
    
    Name
    
    Request
  - Committer
  - Context
    
    Address_index
    
    Address_metadata
    
    Prover_context
    
    Address_index
    
    Address_metadata
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
  - Daemon
  - Debug_events
  - Dispatcher
  - Error
  - Event
    
    Accuser
    
    Batcher
    
    Worker
  - Fancy_l2block
  - Inbox
  - Injector
  - Interpreter
  - L2_apply
    
    Batch_V1
  - L2_transaction
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - L2block
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - Node_config
  - Node_data
  - Prover_apply
  - RPC
    
    Encodings
  - State
    
    Tezos_blocks_cache
  - Stores
    
    Commitment_store
    
    Finalized_level_store
    
    Head_store
    
    INDEXABLE_REMOVABLE_STORE
    
    INDEXABLE_STORE
    
    L2_block_store
    
    Level_store
    
    Rollup_info_store
    
    SINGLETON_STORE
    
    Tezos_block_store
    
    Tezos_head_store
  - Ticket

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Accuser : sig ... end

module Batcher : sig ... end

module Batcher_worker_types : sig ... end

module Committer : sig ... end

module Context : sig ... end

module Daemon : sig ... end

Deamon provides the run function that tracks the head of Tezos nodes to compute the state of a rollup asynchronously.

module Debug_events : sig ... end

module Dispatcher : sig ... end

module Error : sig ... end

module Event : sig ... end

module Fancy_l2block : sig ... end

This module describes a fancy representation of a L2block.t. We define a fancy block with an associated encoding. The encoded JSON will later on be used in RPCs to provide a cleaner and easier to use JSON object.

module Inbox : sig ... end

A non-compact representation of inboxes that represents complete messages and not their hashes.

module Injector : sig ... end

module Interpreter : sig ... end

module L2_apply : sig ... end

module L2_transaction : sig ... end

module L2block : sig ... end

module Node_config : sig ... end

module Node_data : sig ... end

module Prover_apply : sig ... end

module RPC : sig ... end

module State : sig ... end

The RPC server and the Daemon main loop are sharing a variable of the type stored in the Irmin store. The State module allows access to this stored data.

module Stores : sig ... end

Describes the different representations that can be stored persistently.

module Ticket : sig ... end