package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

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

Module `Alpha_context.Sc_rollup`Source

This module re-exports definitions from Sc_rollup_storage and Sc_rollup_repr.

Sourcemodule Tick : sig ... end

See Sc_rollup_tick_repr.

Sourcemodule Address : sig ... end

Sourcetype t = Tezos_protocol_environment_alpha.Smart_rollup_address.t

type rollup := t

Sourceval in_memory_size : t -> Cache_memory_helpers.sint

Source

val must_exist : 
  context ->
  t ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcemodule Staker : sig ... end

Sourcemodule State_hash : sig ... end

Sourcemodule Metadata : sig ... end

See Sc_rollup_metadata_repr.

Sourcemodule Inbox_message : sig ... end

See Sc_rollup_inbox_message_repr.

Sourcemodule Inbox_merkelized_payload_hashes : sig ... end

Sourcetype inbox_message = {

inbox_level : Raw_level.t;
message_counter : Tezos_protocol_environment_alpha.Z.t;
payload : Inbox_message.serialized;

}

Sourcetype reveal_data =

| Raw_data of string
| Metadata of Metadata.t
| Dal_page of Dal.Page.content option

Sourcetype input =

| Inbox_message of inbox_message
| Reveal of reveal_data

Source

val pp_inbox_message : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  inbox_message ->
  unit

Sourceval inbox_message_equal : inbox_message -> inbox_message -> bool

Source

val pp_reveal_data : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  reveal_data ->
  unit

Source

val pp_input : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  input ->
  unit

Sourceval input_equal : input -> input -> bool

Sourceval input_encoding : input Tezos_protocol_environment_alpha.Data_encoding.t

Sourcemodule Input_hash : Tezos_protocol_environment_alpha.S.HASH

Sourcetype reveal =

| Reveal_raw_data of Sc_rollup_reveal_hash.t
| Reveal_metadata
| Request_dal_page of Dal.Page.t

Sourcetype input_request =

| No_input_required
| Initial
| First_after of Raw_level.t * Tezos_protocol_environment_alpha.Z.t
| Needs_reveal of reveal

Source

val input_request_encoding : 
  input_request Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval input_request_equal : input_request -> input_request -> bool

Source

val pp_input_request : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  input_request ->
  unit

Sourcemodule Inbox : sig ... end

Sourcemodule Outbox : sig ... end

Sourcetype output = {

outbox_level : Raw_level.t;
message_index : Tezos_protocol_environment_alpha.Z.t;
message : Outbox.Message.t;

}

Sourceval output_encoding : output Tezos_protocol_environment_alpha.Data_encoding.t

Sourcemodule Dissection_chunk : sig ... end

Sourcemodule PVM : sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule ArithPVM : sig ... end

Sourcemodule Wasm_2_0_0PVM : sig ... end

Sourcemodule Number_of_ticks : sig ... end

Sourcemodule Commitment : sig ... end

Source

val originate : 
  context ->
  kind:Kind.t ->
  parameters_ty:Script.lazy_expr ->
  genesis_commitment:Commitment.t ->
  (t * Tezos_protocol_environment_alpha.Z.t * Commitment.Hash.t * context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val parameters_type : 
  context ->
  t ->
  (Script.lazy_expr option * context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val kind : 
  context ->
  t ->
  (context * Kind.t) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcemodule Errors : sig ... end

Sourcemodule Proof : sig ... end

Sourcemodule Game : sig ... end

Sourcemodule Stake_storage : sig ... end

Sourcemodule Refutation_storage : sig ... end

Sourceval rpc_arg : t Tezos_protocol_environment_alpha.RPC_arg.t

Source

val list_unaccounted : 
  context ->
  t list Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val genesis_info : 
  context ->
  rollup ->
  (context * Commitment.genesis_info)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcemodule Internal_for_tests : sig ... end

This module discloses definitions that are only useful for tests and must not be used otherwise.

package tezos-protocol-alpha

Module Alpha_context.Sc_rollupSource

Module `Alpha_context.Sc_rollup`Source