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

include module type of struct include Common end

val memo_size_of_int : 
  int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t

val int_of_memo_size : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.Memo_size.t ->
  int

val wrap : 
  'a Tezos_protocol_alpha.Protocol.Environment.Error_monad.tzresult ->
  ('a, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val assert_true : 
  (bool, 'a) Stdlib.result Lwt.t ->
  (unit, 'a) Stdlib.result Lwt.t

val assert_false : 
  (bool, 'a) Stdlib.result Lwt.t ->
  (unit, 'a) Stdlib.result Lwt.t

val assert_some : 
  ('a option, 'b) Stdlib.result Lwt.t ->
  ('a, 'b) Stdlib.result Lwt.t

val assert_none : 
  ('a option, 'b) Stdlib.result Lwt.t ->
  (unit, 'b) Stdlib.result Lwt.t

val assert_error : 
  ('a, 'b) Stdlib.result Lwt.t ->
  (unit, 'c) Stdlib.result Lwt.t

val print : ?prefix:string -> 'a Data_encoding.Encoding.t -> 'a -> unit

val to_hex : 'a -> 'a Data_encoding.Encoding.t -> string

val randomized_byte : ?pos:int -> 'a -> 'a Data_encoding.Encoding.t -> 'a

type wallet = Common.wallet = {

sk : Tezos_sapling.Core.Wallet.Spending_key.t;
vk : Tezos_sapling.Core.Wallet.Viewing_key.t;

}

val wallet_gen : unit -> wallet

val gen_addr : 
  int ->
  Tezos_sapling.Core.Client.Viewing_key.t ->
  Tezos_sapling.Core.Client.Viewing_key.address list

val gen_nf : unit -> Tezos_sapling.Core.Client.Nullifier.t

val gen_cm_cipher : 
  memo_size:int ->
  unit ->
  Tezos_sapling.Core.Client.Commitment.t
  * Tezos_sapling.Core.Client.Ciphertext.t

val client_state_of_diff : 
  memo_size:int ->
  (Tezos_sapling.Core.Validator.Hash.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Sapling.diff) ->
  Tezos_sapling.Storage.state

include module type of struct include Contract_helpers end

val init : 
  unit ->
  (Block.t
   * Tezos_crypto.Signature.public_key_hash
   * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

Initializes 2 addresses to do only operations plus one that will be used to bake.

val default_source : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract

val default_step_constants : 
  Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants

val run_script : 
  Tezos_raw_protocol_alpha.Alpha_context.t ->
  ?step_constants:
    Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants ->
  string ->
  ?entrypoint:string ->
  storage:string ->
  parameter:string ->
  unit ->
  (Tezos_protocol_alpha.Protocol.Script_interpreter.execution_result
   * (Tezos_raw_protocol_alpha.Script_ir_translator.ex_script * int),
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

Helper function that parses and types a script, its initial storage and parameters from strings. It then executes the typed script with the storage and parameter and returns the result.

val originate_contract : 
  string ->
  string ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract ->
  Block.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract
   * Block.t
   * string,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

Returns a block in which the contract is originated. Also returns the associated anti-replay string and KT1 address.

val hex_shield : memo_size:int -> wallet -> string -> string

val transac_and_sync : 
  memo_size:int ->
  Block.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.lazy_expr ->
  int ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  (Block.t * Tezos_sapling.Storage.state, Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val shield : 
  memo_size:int ->
  Tezos_sapling.Forge.Core.Spending_key.t ->
  int ->
  Tezos_sapling.Core.Wallet.Viewing_key.t ->
  (string -> 'a) ->
  string ->
  'a list * int

val next_block : 
  Block.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
  (Block.t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t