Module `Tezos_raw_protocol_013_PtJakart.Alpha_context`Source

An Alpha_context.t is an immutable snapshot of the ledger state at some block height, preserving type-safety and invariants of the ledger state.

Implementation

Alpha_context.t is a wrapper over Raw_context.t, which in turn is a wrapper around Context.t from the Protocol Environment.

Lifetime of an Alpha_context

Creation, using prepare or prepare_first_block

Modification, using the operations defined in this signature

Finalization, using finalize

Sourcemodule type BASIC_DATA = sig ... end

Sourcetype t

Sourcetype context = t

Source

type public_key =
  Tezos_protocol_environment_013_PtJakart.Signature.Public_key.t

Source

type public_key_hash =
  Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t

Sourcetype signature = Tezos_protocol_environment_013_PtJakart.Signature.t

Sourcemodule Slot : sig ... end

Sourcemodule Tez : sig ... end

Sourcemodule Period : sig ... end

Sourcemodule Timestamp : sig ... end

Sourcemodule Raw_level : sig ... end

Sourcemodule Cycle : sig ... end

Sourcemodule Round : sig ... end

Sourcemodule Gas : sig ... end

This module implements the gas subsystem of the context.

Sourcemodule Entrypoint : module type of Entrypoint_repr

Sourcemodule Script_string : module type of Script_string_repr

Strings of printable characters

Sourcemodule Script_int : module type of Script_int_repr

Sourcemodule Script_timestamp : sig ... end

Sourcemodule Script : sig ... end

Sourcemodule Constants : sig ... end

Sourcemodule Global_constants_storage : sig ... end

Sourcemodule Internal_for_tests : sig ... end

Sourcemodule Cache : sig ... end

Sourcemodule Level : sig ... end

Sourcemodule Fitness : sig ... end

Sourcemodule Nonce : sig ... end

Sourcemodule Seed : sig ... end

Sourcemodule Big_map : sig ... end

Sourcemodule Sapling : sig ... end

Sourcemodule Lazy_storage : sig ... end

Sourcemodule Origination_nonce : sig ... end

Sourcemodule Ticket_hash : sig ... end

This module re-exports functions from Ticket_hash_repr. See documentation of the functions there.

Sourcemodule Contract : sig ... end

Sourcemodule Tx_rollup_level : sig ... end

Sourcemodule Tx_rollup : sig ... end

This module re-exports definitions from Tx_rollup_repr and Tx_rollup_storage.

Sourcemodule Tx_rollup_withdraw : sig ... end

Sourcemodule Tx_rollup_withdraw_list_hash : sig ... end

Sourcemodule Tx_rollup_message_result : sig ... end

Sourcemodule Tx_rollup_message_result_hash : sig ... end

Sourcemodule Tx_rollup_commitment_hash : sig ... end

Sourcemodule Tx_rollup_state : sig ... end

This module re-exports definitions from Tx_rollup_state_repr and Tx_rollup_state_storage.

Sourcemodule Tx_rollup_reveal : sig ... end

Sourcemodule Tx_rollup_message : sig ... end

This module re-exports definitions from Tx_rollup_message_repr.

Sourcemodule Tx_rollup_message_hash : sig ... end

Sourcemodule Tx_rollup_inbox : sig ... end

This module re-exports definitions from Tx_rollup_inbox_repr and Tx_rollup_inbox_storage.

Sourcemodule Tx_rollup_commitment : sig ... end

This simply re-exports Tx_rollup_commitment_repr

Sourcemodule Tx_rollup_hash : sig ... end

Sourcemodule Tx_rollup_errors : sig ... end

Sourcemodule Bond_id : sig ... end

Sourcemodule Destination : sig ... end

This simply re-exports Destination_repr.

Sourcemodule Receipt : sig ... end

Sourcemodule Delegate : sig ... end

Sourcemodule Voting_period : sig ... end

Sourcemodule Vote : sig ... end

Sourcemodule Sc_rollup : sig ... end

See Sc_rollup_storage and Sc_rollup_repr.

Sourcemodule Block_payload : sig ... end

Sourcemodule Block_header : sig ... end

Sourcemodule Kind : sig ... end

Sourcetype 'a consensus_operation_type =

| Endorsement : Kind.endorsement consensus_operation_type
| Preendorsement : Kind.preendorsement consensus_operation_type

Source

val pp_operation_kind : 
  Tezos_protocol_environment_013_PtJakart.Format.formatter ->
  'kind consensus_operation_type ->
  unit

Sourcetype consensus_content = {

slot : Slot.t;
level : Raw_level.t;
round : Round.t;
block_payload_hash : Block_payload_hash.t;

}

Source

val consensus_content_encoding : 
  consensus_content Tezos_protocol_environment_013_PtJakart.Data_encoding.t

Source

val pp_consensus_content : 
  Tezos_protocol_environment_013_PtJakart.Format.formatter ->
  consensus_content ->
  unit

Sourcetype transaction = {

amount : Tez.tez;
parameters : Script.lazy_expr;
entrypoint : Entrypoint.t;
destination : Destination.t;

}

Sourcetype origination = {

delegate : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t option;
script : Script.t;
credit : Tez.tez;

}

Sourcetype 'kind operation = {

shell : Tezos_protocol_environment_013_PtJakart.Operation.shell_header;
protocol_data : 'kind protocol_data;

}

Sourceand 'kind protocol_data = {

contents : 'kind contents_list;
signature : Tezos_protocol_environment_013_PtJakart.Signature.t option;

}

Sourceand _ contents_list =

| Single : 'kind contents -> 'kind contents_list
| Cons : 'kind Kind.manager contents * 'rest Kind.manager contents_list -> ('kind * 'rest) Kind.manager contents_list

Sourceand _ contents =

| Preendorsement : consensus_content -> Kind.preendorsement contents
| Endorsement : consensus_content -> Kind.endorsement contents
| Seed_nonce_revelation : {
1. level : Raw_level.t;
2. nonce : Nonce.t;
} -> Kind.seed_nonce_revelation contents
| Double_preendorsement_evidence : {
1. op1 : Kind.preendorsement operation;
2. op2 : Kind.preendorsement operation;
} -> Kind.double_preendorsement_evidence contents
| Double_endorsement_evidence : {
1. op1 : Kind.endorsement operation;
2. op2 : Kind.endorsement operation;
} -> Kind.double_endorsement_evidence contents
| Double_baking_evidence : {
1. bh1 : Block_header.t;
2. bh2 : Block_header.t;
} -> Kind.double_baking_evidence contents
| Activate_account : {
1. id : Tezos_protocol_environment_013_PtJakart.Ed25519.Public_key_hash.t;
2. activation_code : Blinded_public_key_hash.activation_code;
} -> Kind.activate_account contents
| Proposals : {
1. source : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t;
2. period : int32;
3. proposals : Tezos_protocol_environment_013_PtJakart.Protocol_hash.t list;
} -> Kind.proposals contents
| Ballot : {
1. source : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t;
2. period : int32;
3. proposal : Tezos_protocol_environment_013_PtJakart.Protocol_hash.t;
4. ballot : Vote.ballot;
} -> Kind.ballot contents
| Failing_noop : string -> Kind.failing_noop contents
| Manager_operation : {
1. source : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t;
2. fee : Tez.tez;
3. counter : counter;
4. operation : 'kind manager_operation;
5. gas_limit : Gas.Arith.integral;
6. storage_limit : Tezos_protocol_environment_013_PtJakart.Z.t;
} -> 'kind Kind.manager contents

Sourceand _ manager_operation =

| Reveal : Tezos_protocol_environment_013_PtJakart.Signature.Public_key.t -> Kind.reveal manager_operation
| Transaction : transaction -> Kind.transaction manager_operation
| Origination : origination -> Kind.origination manager_operation
| Delegation : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t option -> Kind.delegation manager_operation
| Register_global_constant : {
1. value : Script.lazy_expr;
} -> Kind.register_global_constant manager_operation
| Set_deposits_limit : Tez.t option -> Kind.set_deposits_limit manager_operation
| Tx_rollup_origination : Kind.tx_rollup_origination manager_operation
| Tx_rollup_submit_batch : {
1. tx_rollup : Tx_rollup.t;
2. content : string;
3. burn_limit : Tez.tez option;
} -> Kind.tx_rollup_submit_batch manager_operation
| Tx_rollup_commit : {
1. tx_rollup : Tx_rollup.t;
2. commitment : Tx_rollup_commitment.Full.t;
} -> Kind.tx_rollup_commit manager_operation
| Tx_rollup_return_bond : {
1. tx_rollup : Tx_rollup.t;
} -> Kind.tx_rollup_return_bond manager_operation
| Tx_rollup_finalize_commitment : {
1. tx_rollup : Tx_rollup.t;
} -> Kind.tx_rollup_finalize_commitment manager_operation
| Tx_rollup_remove_commitment : {
1. tx_rollup : Tx_rollup.t;
} -> Kind.tx_rollup_remove_commitment manager_operation
| Tx_rollup_rejection : {
1. tx_rollup : Tx_rollup.t;
2. level : Tx_rollup_level.t;
3. message : Tx_rollup_message.t;
4. message_position : int;
5. message_path : Tx_rollup_inbox.Merkle.path;
6. message_result_hash : Tx_rollup_message_result_hash.t;
7. message_result_path : Tx_rollup_commitment.Merkle.path;
8. previous_message_result : Tx_rollup_message_result.t;
9. previous_message_result_path : Tx_rollup_commitment.Merkle.path;
10. proof : Tx_rollup_l2_proof.t;
} -> Kind.tx_rollup_rejection manager_operation
| Tx_rollup_dispatch_tickets : {
1. tx_rollup : Tx_rollup.t;
2. level : Tx_rollup_level.t;
3. context_hash : Tezos_protocol_environment_013_PtJakart.Context_hash.t;
4. message_index : int;
5. message_result_path : Tx_rollup_commitment.Merkle.path;
6. tickets_info : Tx_rollup_reveal.t list;
} -> Kind.tx_rollup_dispatch_tickets manager_operation
| Transfer_ticket : {
1. contents : Script.lazy_expr;
2. ty : Script.lazy_expr;
3. ticketer : Contract.t;
4. amount : Tezos_protocol_environment_013_PtJakart.Z.t;
5. destination : Contract.t;
6. entrypoint : Entrypoint.t;
} -> Kind.transfer_ticket manager_operation
| Sc_rollup_originate : {
1. kind : Sc_rollup.Kind.t;
2. boot_sector : string;
} -> Kind.sc_rollup_originate manager_operation
| Sc_rollup_add_messages : {
1. rollup : Sc_rollup.t;
2. messages : string list;
} -> Kind.sc_rollup_add_messages manager_operation
| Sc_rollup_cement : {
1. rollup : Sc_rollup.t;
2. commitment : Sc_rollup.Commitment_hash.t;
} -> Kind.sc_rollup_cement manager_operation
| Sc_rollup_publish : {
1. rollup : Sc_rollup.t;
2. commitment : Sc_rollup.Commitment.t;
} -> Kind.sc_rollup_publish manager_operation

Sourceand counter = Tezos_protocol_environment_013_PtJakart.Z.t

Sourcetype packed_manager_operation =

| Manager : 'kind manager_operation -> packed_manager_operation

Sourcetype packed_contents =

| Contents : 'kind contents -> packed_contents

Sourcetype packed_contents_list =

| Contents_list : 'kind contents_list -> packed_contents_list

Sourcetype packed_protocol_data =

| Operation_data : 'kind protocol_data -> packed_protocol_data

Sourcetype packed_operation = {

shell : Tezos_protocol_environment_013_PtJakart.Operation.shell_header;
protocol_data : packed_protocol_data;

}

Sourceval manager_kind : 'kind manager_operation -> 'kind Kind.manager

Sourcemodule Operation : sig ... end

Sourcemodule Stake_distribution : sig ... end

Sourcemodule Commitment : sig ... end

Sourcemodule Bootstrap : sig ... end

Sourcemodule Migration : sig ... end

Source

val prepare_first_block : 
  Tezos_protocol_environment_013_PtJakart.Context.t ->
  typecheck:
    (context ->
      Script.t ->
      ((Script.t * Lazy_storage.diffs option) * context)
        Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
        Tezos_protocol_environment_013_PtJakart.Lwt.t) ->
  level:Tezos_protocol_environment_013_PtJakart.Int32.t ->
  timestamp:Tezos_protocol_environment_013_PtJakart.Time.t ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

Create an Alpha_context.t from an untyped context (first block in the chain only).

Source

val prepare : 
  Tezos_protocol_environment_013_PtJakart.Context.t ->
  level:Tezos_protocol_environment_013_PtJakart.Int32.t ->
  predecessor_timestamp:Tezos_protocol_environment_013_PtJakart.Time.t ->
  timestamp:Tezos_protocol_environment_013_PtJakart.Time.t ->
  (context * Receipt.balance_updates * Migration.origination_result list)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

Create an Alpha_context.t from an untyped context.

Source

val activate : 
  context ->
  Tezos_protocol_environment_013_PtJakart.Protocol_hash.t ->
  context Tezos_protocol_environment_013_PtJakart.Lwt.t

Sourceval reset_internal_nonce : context -> context

Source

val fresh_internal_nonce : 
  context ->
  (context * int) Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult

Sourceval record_internal_nonce : context -> int -> context

Sourceval internal_nonce_already_recorded : context -> int -> bool

Sourceval description : context Storage_description.t

Source

val finalize : 
  ?commit_message:string ->
  context ->
  Fitness.raw ->
  Tezos_protocol_environment_013_PtJakart.Updater.validation_result

Finalize an Alpha_context.t, producing a validation_result.

Source

val current_context : 
  context ->
  Tezos_protocol_environment_013_PtJakart.Context.t

Should only be used by Main.current_context to return a context usable for RPCs

Source

val record_non_consensus_operation_hash : 
  context ->
  Tezos_protocol_environment_013_PtJakart.Operation_hash.t ->
  context

Source

val non_consensus_operations : 
  context ->
  Tezos_protocol_environment_013_PtJakart.Operation_hash.t list

Sourcemodule Parameters : sig ... end

Sourcemodule Liquidity_baking : sig ... end

Sourcemodule Ticket_balance : sig ... end

This module re-exports functions from Ticket_storage. See documentation of the functions there.

Sourcemodule First_level_of_protocol : sig ... end

Sourcemodule Consensus : sig ... end

Sourcemodule Token : sig ... end

See 'token.mli' for more explanation.

Sourcemodule Fees : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Alpha_context/index.html

Module `Tezos_raw_protocol_013_PtJakart.Alpha_context`Source

Implementation

Lifetime of an Alpha_context

package tezos-protocol-013-PtJakart

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Alpha_context/index.html

Module Tezos_raw_protocol_013_PtJakart.Alpha_contextSource

Implementation

Lifetime of an Alpha_context

Module `Tezos_raw_protocol_013_PtJakart.Alpha_context`Source