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 pp_big_map_id : 
  Stdlib.Format.formatter ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t ->
  unit

type t = {

tokens : Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t;
allowances : Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t;
admin : Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t;
totalSupply : Z.t;

}

val pp : t -> string

val null : t

val eq : 'a -> 'a -> bool

val to_expr : 
  loc:'a ->
  t ->
  ('a, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node

val to_michelson_string : t -> string

type exn +=

| Invalid_storage_expr of string

val of_expr_exn : 
  ('a, Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Tezos_micheline.Micheline.node ->
  t

Note: parses a storage unparsed in readable mode (as e.g. returned by Alpha_services.Contract.storage), so that contracts are represented by strings.

val get : 
  Context.t ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val get_alpha_context : 
  Context.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val getBalance_opt : 
  Context.t ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Script_typed_ir.address ->
  (Z.t option, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val getBalance : 
  Context.t ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Script_typed_ir.address ->
  (Z.t, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t