package tezos-012-Psithaca-test-helpers

  1. Overview
  2. Docs
val error : loc:string -> ('a, Tezos_error_monad.TzCore.error list) Stdlib.result -> (Tezos_error_monad.TzCore.error -> bool) -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.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) Stdlib.result -> (Tezos_protocol_012_Psithaca.Protocol.Environment.Error_monad.error -> bool) -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val proto_error_with_info : loc:string -> ('a, Tezos_error_monad.TzCore.error list) Stdlib.result -> string -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val equal : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val leq : loc:string -> ('a -> 'a -> int) -> string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val not_equal : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> 'a -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.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) Stdlib.result Lwt.t
val not_equal_int : loc:string -> int -> int -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val leq_int : loc:string -> int -> int -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val equal_int32 : loc:string -> int32 -> int32 -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val equal_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val not_equal_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val leq_int64 : loc:string -> int64 -> int64 -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val equal_bool : loc:string -> bool -> bool -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val not_equal_bool : loc:string -> bool -> bool -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val get_some : loc:string -> 'a option -> ('a, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
val is_none : loc:string -> pp:(Stdlib.Format.formatter -> 'a -> unit) -> 'a option -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.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) Stdlib.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) Stdlib.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 pp_print_list : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val assert_equal_list : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a list -> 'a list -> (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t
OCaml

Innovation. Community. Security.