package tezos-alpha-test-helpers

You can search for identifiers within the package.

in-package search v0.2.0

tezos-alpha-test-helpers
- Tezos_alpha_test_helpers
  - Account
  - Assert
    
    Int32
    
    Int64
  - Block
    
    Forge
  - Consensus_helpers
  - Context
    
    Contract
    
    Delegate
    
    Tx_rollup
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Error_monad_operators
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Nonce
  - Op
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Script_big_map
  - Script_list
  - Script_map
  - Script_set
  - Test_global_constants
    
    Generators
  - Test_tez
  - Testable

Legend:
Library
Module
Module type
Parameter
Class
Class type

val contents : 
  ?proof_of_work_nonce:Stdlib.Bytes.t ->
  ?seed_nonce_hash:Tezos_protocol_alpha.Protocol.Nonce_hash.t ->
  ?liquidity_baking_escape_vote:bool ->
  payload_hash:Tezos_protocol_alpha.Protocol.Block_payload_hash.t ->
  payload_round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  unit ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.contents

type header

val classify_operations : 
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list list

val forge_header : 
  ?locked_round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t option ->
  ?payload_round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t option ->
  ?policy:baker_policy ->
  ?timestamp:Tezos_protocol_alpha.Protocol.Alpha_context.Timestamp.time ->
  ?operations:Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed list ->
  ?liquidity_baking_escape_vote:bool ->
  t ->
  (header, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

Forges a correct header following the policy. The header can then be modified and applied with apply.

val set_seed_nonce_hash : 
  Tezos_protocol_alpha.Protocol.Nonce_hash.t option ->
  header ->
  header

Sets uniquely seed_nonce_hash of a header

val set_baker : 
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  header ->
  header

Sets the baker that will sign the header to an arbitrary pkh

val sign_header : 
  header ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

Signs the header with the key of the baker configured in the header. The header can no longer be modified, only applied.