package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

tezos-protocol-alpha.embedded-protocol
- Tezos_embedded_protocol_alpha
  - Registerer
    
    Registered
    
    Mempool
    
    Source
tezos-protocol-alpha.parameters
- Tezos_protocol_alpha_parameters
  - Default_parameters
    
    Internal_for_tests
tezos-protocol-alpha.protocol
- Tezos_protocol_alpha
  - Protocol
tezos-protocol-alpha.protocol.environment
- Tezos_protocol_environment_alpha
  - Array
    
    Floatarray
  - Base58
  - Bits
  - Blake2B
    
    Make
    
    Map
    
    Name
    
    Register
    
    Set
    
    Make_minimal
    
    Name
    
    Name
    
    PrefixedName
    
    Register
  - Block_hash
    
    Map
    
    Set
  - Block_header
  - Bls
    
    Primitive
    
    Fr
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Bounded
    
    BOUNDS
    
    Int16
    
    B
    
    Int31
    
    B
    
    Int32
    
    B
    
    Int64
    
    B
    
    Int8
    
    B
    
    Non_negative_int32
    
    S
    
    Uint16
    
    B
    
    Uint8
    
    B
  - Bytes
  - CamlinternalFormatBasics
  - Chain_id
    
    Map
    
    Set
  - Char
  - Compare
    
    Bool
    
    Bytes
    
    COMPARABLE
    
    Char
    
    Int
    
    Int32
    
    Int64
    
    List
    
    P
    
    List_length_with
    
    List_lengths
    
    Make
    
    P
    
    Option
    
    P
    
    Q
    
    Result
    
    Error
    
    Ok
    
    S
    
    String
    
    Uint32
    
    Uint64
    
    Z
  - Context
    
    CACHE
    
    Cache
    
    Kind
    
    PROOF_ENCODING
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Proof_encoding
    
    V1
    
    Tree2
    
    Tree32
    
    V2
    
    Tree2
    
    Tree32
    
    TREE
    
    Tree
    
    VIEW
  - Context_binary
    
    Tree
  - Context_hash
    
    Map
    
    Set
    
    Version
  - Dal
    
    Commitment
    
    Commitment_proof
  - Data_encoding
    
    Binary
    
    Bounded
    
    Compact
    
    Custom
    
    S
    
    Fixed
    
    Json
    
    Variable
    
    With_JSON_discriminant
    
    With_field_name_duplicate_checks
  - Ed25519
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Either
  - Equality_witness
  - Error_monad
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
  - FallbackArray
  - Fitness
  - Format
  - Hex
  - Int32
  - Int64
  - Lift
    
    Mempool
    
    P
    
    Mempool
  - List
  - Logging
  - Lwt
  - Map
    
    Make
    
    Ord
    
    S
  - Micheline
  - Name
  - Operation
  - Operation_hash
    
    Map
    
    Set
  - Operation_list_hash
    
    Map
    
    Set
  - Operation_list_list_hash
    
    Map
    
    Set
  - Option
  - P256
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Pervasives
  - Plonk
  - Protocol_hash
    
    Map
    
    Set
  - Q
  - RPC_answer
  - RPC_arg
  - RPC_context
    
    simple
  - RPC_directory
  - RPC_path
  - RPC_query
  - RPC_service
  - Raw_hashes
  - Result
  - S
    
    AGGREGATE_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    B58_DATA
    
    CURVE
    
    Scalar
    
    ENCODER
    
    FIELD
    
    HASH
    
    Map
    
    Set
    
    HASHABLE
    
    INDEXES
    
    Map
    
    Set
    
    INDEXES_MAP
    
    INDEXES_SET
    
    MERKLE_TREE
    
    Map
    
    Set
    
    MINIMAL_HASH
    
    PRIME_FIELD
    
    RAW_DATA
    
    SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    SIGNATURE_PUBLIC_KEY
    
    SIGNATURE_PUBLIC_KEY_HASH
    
    Map
    
    Set
    
    SPLIT_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    T
  - Sapling
    
    CV
    
    Ciphertext
    
    Commitment
    
    Hash
    
    Nullifier
    
    UTXO
    
    Legacy
    
    Verification
  - Secp256k1
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Seq
  - Set
    
    Make
    
    Ord
    
    S
  - Signature
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Skip_list
    
    MONAD
    
    Make
    
    Arg
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    S
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
  - Smart_rollup
    
    Address
    
    Map
    
    Set
    
    Commitment_hash
    
    Map
    
    Set
    
    Inbox_hash
    
    Map
    
    Set
    
    Merkelized_payload_hashes_hash
    
    Map
    
    Set
    
    State_hash
    
    Map
    
    Set
  - String
  - Time
  - Timelock
  - TzEndian
  - Updater
    
    PROTOCOL
    
    Mempool
  - Vdf
  - Wasm_2_0_0
    
    Make
    
    Tree
  - Z
  - proto_rpc_context
  - proto_rpc_context_of_directory
tezos-protocol-alpha.protocol.lifted
- Tezos_protocol_alpha_lifted
  - Lifted_protocol
    
    Mempool
tezos-protocol-alpha.protocol.raw
- Tezos_raw_protocol_alpha

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module P : MICHELSON_PARSER

Signature

val unparse_data : 
  Alpha_context.context ->
  stack_depth:int ->
  unparsing_mode ->
  ('a, 'ac) Script_typed_ir.ty ->
  'a ->
  (Alpha_context.Script.expr * Alpha_context.context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

unparse_data ctxt ~stack_depth unparsing_mode ty data returns the Micheline representation of data of type ty, consuming an appropriate amount of gas from ctxt.

val unparse_items : 
  Alpha_context.context ->
  stack_depth:int ->
  unparsing_mode ->
  'k Script_typed_ir.comparable_ty ->
  ('v, 'vc) Script_typed_ir.ty ->
  ('k * 'v) list ->
  (Alpha_context.Script.expr list * Alpha_context.context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

unparse_items ctxt ~stack_depth unparsing_mode kty vty assoc returns the Micheline representation of assoc (being an association list) with keys of type kty and values of type vty. Gas is being consumed from ctxt.

val unparse_code : 
  Alpha_context.context ->
  stack_depth:int ->
  unparsing_mode ->
  Alpha_context.Script.node ->
  (Alpha_context.Script.expr * Alpha_context.context,
    Tezos_protocol_environment_alpha.Error_monad.error
      Tezos_protocol_environment_alpha.Error_monad.trace)
    Tezos_protocol_environment_alpha.Pervasives.result
    Tezos_protocol_environment_alpha.Lwt.t

unparse_code ctxt ~stack_depth unparsing_mode code returns code with I_PUSH instructions parsed and unparsed back to make sure that only forgeable values are being pushed. The gas is being consumed from ctxt.

module Internal_for_benchmarking : sig ... end

For benchmarking purpose, we also export versions of the unparsing functions which don't call location stripping. These functions are not carbonated and should not be called directly from the protocol.