package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-protocol-alpha

tezos-protocol-alpha

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Main`Source

Tezos Protocol Implementation - Protocol Signature Instance

This module is the entrypoint to the protocol for shells and other embedders. This signature is an instance of the Updater.PROTOCOL signature from the Protocol Environment.

Each Protocol depends on a version of the Protocol Environment. For the currently developed protocol, this is normally the latest version. You can see the full list of versions here.

For details on how Protocol and Environment interact, see this overview.

Sourcetype operation_data = Alpha_context.packed_protocol_data

Sourcetype operation = Alpha_context.packed_operation = {

shell : Tezos_protocol_environment_alpha.Operation.shell_header;
protocol_data : operation_data;

}

include Tezos_protocol_environment_alpha.Updater.PROTOCOL
  with type block_header_data = Alpha_context.Block_header.protocol_data
   and type block_header_metadata = Apply_results.block_metadata
   and type block_header = Alpha_context.Block_header.t
   and type operation_data := operation_data
   and type operation_receipt = Apply_results.packed_operation_metadata
   and type operation := operation
   and type validation_state = Validate.validation_state
   and type application_state = Apply.application_state

Sourceval max_block_length : int

Sourceval max_operation_data_length : int

Sourceval validation_passes : Tezos_protocol_environment_alpha.Updater.quota list

Sourcetype block_header_data = Alpha_context.Block_header.protocol_data

val block_header_data_encoding : 
  block_header_data Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype block_header = Alpha_context.Block_header.t = {

shell : Tezos_protocol_environment_alpha.Block_header.shell_header;
protocol_data : block_header_data;

}

Sourcetype block_header_metadata = Apply_results.block_metadata

val block_header_metadata_encoding_with_legacy_attestation_name : 
  block_header_metadata Tezos_protocol_environment_alpha.Data_encoding.t

val block_header_metadata_encoding : 
  block_header_metadata Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype operation_receipt = Apply_results.packed_operation_metadata

val operation_data_encoding : 
  operation_data Tezos_protocol_environment_alpha.Data_encoding.t

val operation_data_encoding_with_legacy_attestation_name : 
  operation_data Tezos_protocol_environment_alpha.Data_encoding.t

val operation_receipt_encoding : 
  operation_receipt Tezos_protocol_environment_alpha.Data_encoding.t

val operation_receipt_encoding_with_legacy_attestation_name : 
  operation_receipt Tezos_protocol_environment_alpha.Data_encoding.t

val operation_data_and_receipt_encoding : 
  (operation_data * operation_receipt)
    Tezos_protocol_environment_alpha.Data_encoding.t

val operation_data_and_receipt_encoding_with_legacy_attestation_name : 
  (operation_data * operation_receipt)
    Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval acceptable_pass : operation -> int option

val compare_operations : 
  (Tezos_protocol_environment_alpha.Operation_hash.t * operation) ->
  (Tezos_protocol_environment_alpha.Operation_hash.t * operation) ->
  int

Sourcetype mode =

| Application of block_header
| Partial_validation of block_header
| Construction of {
1. predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
2. timestamp : Tezos_protocol_environment_alpha.Time.t;
3. block_header_data : block_header_data;
}
| Partial_construction of {
1. predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
2. timestamp : Tezos_protocol_environment_alpha.Time.t;
}

Sourcetype validation_state = Validate.validation_state

Sourcetype application_state = Apply.application_state

val begin_validation : 
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  mode ->
  predecessor:Tezos_protocol_environment_alpha.Block_header.shell_header ->
  validation_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val validate_operation : 
  ?check_signature:bool ->
  validation_state ->
  Tezos_protocol_environment_alpha.Operation_hash.t ->
  operation ->
  validation_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val finalize_validation : 
  validation_state ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val begin_application : 
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  mode ->
  predecessor:Tezos_protocol_environment_alpha.Block_header.shell_header ->
  application_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val apply_operation : 
  application_state ->
  Tezos_protocol_environment_alpha.Operation_hash.t ->
  operation ->
  (application_state * operation_receipt)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val finalize_application : 
  application_state ->
  Tezos_protocol_environment_alpha.Block_header.shell_header option ->
  (Tezos_protocol_environment_alpha.Updater.validation_result
   * block_header_metadata)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val rpc_services : 
  Tezos_protocol_environment_alpha.Updater.rpc_context
    Tezos_protocol_environment_alpha.RPC_directory.t

val init : 
  Tezos_protocol_environment_alpha.Chain_id.t ->
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Block_header.shell_header ->
  Tezos_protocol_environment_alpha.Updater.validation_result
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val value_of_key : 
  chain_id:Tezos_protocol_environment_alpha.Chain_id.t ->
  predecessor_context:Tezos_protocol_environment_alpha.Context.t ->
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor_level:Tezos_protocol_environment_alpha.Int32.t ->
  predecessor_fitness:Tezos_protocol_environment_alpha.Fitness.t ->
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  timestamp:Tezos_protocol_environment_alpha.Time.t ->
  (Tezos_protocol_environment_alpha.Context.Cache.key ->
    Tezos_protocol_environment_alpha.Context.Cache.value
      Tezos_protocol_environment_alpha.Error_monad.tzresult
      Tezos_protocol_environment_alpha.Lwt.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcemodule Mempool : sig ... end