tezos-012-Psithaca-test-helpers 12.3

val error : 
  loc:string ->
  ('a, Tezos_error_monad.TzCore.error list) result ->
  (Tezos_error_monad.TzCore.error -> bool) ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val test_error_encodings : 
  Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.error ->
  unit

val proto_error : 
  loc:string ->
  ('a, Tezos_error_monad.TzCore.error list) result ->
  (Tezos_protocol_012_Psithaca.Protocol.Environment.Error_monad.error -> bool) ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val proto_error_with_info : 
  loc:string ->
  ('a, Tezos_error_monad.TzCore.error list) result ->
  string ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val leq : 
  loc:string ->
  ('a -> 'a -> int) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

module Int32 : sig ... end

module Int64 : sig ... end

val equal_int : 
  loc:string ->
  int ->
  int ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal_int : 
  loc:string ->
  int ->
  int ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val leq_int : 
  loc:string ->
  int ->
  int ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val leq_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal_bool : 
  loc:string ->
  bool ->
  bool ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal_bool : 
  loc:string ->
  bool ->
  bool ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal_tez : 
  loc:string ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal_tez : 
  loc:string ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val equal_pkh : 
  loc:string ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val not_equal_pkh : 
  loc:string ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val get_some : 
  loc:string ->
  'a option ->
  ('a, Tezos_error_monad.TzCore.error list) result Lwt.t

val is_none : 
  loc:string ->
  pp:(Format.formatter -> 'a -> unit) ->
  'a option ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val balance_is : 
  loc:string ->
  Tezos_012_Psithaca_test_helpers__Context.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

balance_is b c amount checks that the current balance of contract c is amount. Default balance type is Main, pass ~kind with Deposit, Fees or Rewards for the others.

val balance_was_operated : 
  operand:
    ('a ->
      'b ->
      Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t
        Tezos_protocol_012_Psithaca.Protocol.Environment.Error_monad.tzresult) ->
  loc:string ->
  Tezos_012_Psithaca_test_helpers__Context.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  'a ->
  'b ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

balance_was_operated ~operand b c old_balance amount checks that the current balance of contract c is operand old_balance amount and returns the current balance. Default balance type is Main, pass ~kind with Deposit, Fees or Rewards for the others.

val balance_was_credited : 
  loc:string ->
  Tezos_012_Psithaca_test_helpers__Context.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val balance_was_debited : 
  loc:string ->
  Tezos_012_Psithaca_test_helpers__Context.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

val pp_print_list : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val assert_equal_list : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a list ->
  'a list ->
  (unit, Tezos_error_monad.TzCore.error list) result Lwt.t

package tezos-012-Psithaca-test-helpers