Module `Tezos_018_Proxford_test_helpers.Assert`Source

Source

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

Source

val test_error_encodings : 
  Tezos_protocol_environment_018_Proxford.Error_monad.error ->
  unit

Source

val proto_error : 
  loc:string ->
  ('a, Tezos_base.TzPervasives.tztrace) result ->
  (Tezos_protocol_018_Proxford.Environment.Error_monad.error -> bool) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val proto_error_with_info : 
  ?error_info_field:[< `Description | `Id | `Message | `Title Title ] ->
  loc:string ->
  ('a, Tezos_base.TzPervasives.tztrace) result ->
  Tezos_base.TzPervasives.String.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val leq : 
  loc:string ->
  ('a -> 'a -> int) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val lt : 
  loc:string ->
  ('a -> 'a -> int) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Sourcemodule Int32 : sig ... end

Sourcemodule Int64 : sig ... end

Source

val equal_char : 
  loc:string ->
  Char.t ->
  Char.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val leq_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val leq_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val lt_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val leq_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_z : 
  loc:string ->
  Z.t ->
  Z.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_bool : 
  loc:string ->
  bool ->
  bool ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_bool : 
  loc:string ->
  bool ->
  bool ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_string : 
  loc:string ->
  string ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_string : 
  loc:string ->
  string ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_tez : 
  loc:string ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_tez : 
  loc:string ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_pkh : 
  loc:string ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_pkh : 
  loc:string ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_protocol_hash : 
  loc:string ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_protocol_hash : 
  loc:string ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val get_some : 
  loc:string ->
  'a option ->
  'a Tezos_base.TzPervasives.tzresult Lwt.t

Source

val is_none : 
  loc:string ->
  pp:(Format.formatter -> 'a -> unit) ->
  'a option ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val equal_result : 
  loc:string ->
  pp_ok:(Format.formatter -> 'a -> unit) ->
  pp_error:(Format.formatter -> 'b -> unit) ->
  ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result ->
  ('a, 'b) result ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val is_error : 
  loc:string ->
  pp:(Format.formatter -> 'a -> unit) ->
  ('a, 'b) result ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val get_ok : 
  __LOC__:string ->
  ('a, Tezos_base.TzPervasives.tztrace) result ->
  'a Tezos_base.TzPervasives.tzresult Lwt.t

Source

val contract_property_is : 
  ('a ->
    'b ->
    (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t,
      Tezos_base.TzPervasives.tztrace)
      result
      Lwt.t) ->
  loc:string ->
  'a ->
  'b ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val balance_is : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

balance_is b c amount checks that the current balance b of contract c is amount.

Source

val frozen_bonds_is : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

frozen_bonds_is b c amount checks that the current frozen bonds of contract c is amount.

Source

val balance_or_frozen_bonds_was_operated : 
  is_balance:bool ->
  operand:
    ('a ->
      'b ->
      Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t
        Tezos_protocol_018_Proxford.Environment.Error_monad.tzresult) ->
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  'a ->
  'b ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

Source

val balance_was_credited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

balance_was_credited ~loc ctxt contract old_balance amount checks that contract's balance was credited amount tez in comparison to old_balance.

Source

val balance_was_debited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

balance_was_credited ~loc ctxt contract old_balance amount checks that contract's balance was debited amount tez in comparison to old_balance.

Source

val frozen_bonds_was_credited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

frozen_bonds_was_credited ~loc ctxt contract old_balance amount checks that contract's frozen bonds was credited amount tez in comparison to old_balance.

Source

val frozen_bonds_was_debited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t

frozen_bonds_was_credited ~loc ctxt contract old_balance amount checks that contract's frozen bonds was credited amount tez in comparison to old_balance.

Source

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

Source

val assert_equal_list : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Format.formatter -> 'a -> unit) ->
  'a list ->
  'a list ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Sourceval to_json_string : 'a Data_encoding.Encoding.t -> 'a -> string

Source

val equal_with_encoding : 
  loc:string ->
  'a Data_encoding.Encoding.t ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Source

val not_equal_with_encoding : 
  loc:string ->
  'a Data_encoding.Encoding.t ->
  'a ->
  'a ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-018-Proxford-libs.test-helpers/Tezos_018_Proxford_test_helpers/Assert/index.html

Module `Tezos_018_Proxford_test_helpers.Assert`Source

package octez-protocol-018-Proxford-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-018-Proxford-libs.test-helpers/Tezos_018_Proxford_test_helpers/Assert/index.html

Module Tezos_018_Proxford_test_helpers.AssertSource

Module `Tezos_018_Proxford_test_helpers.Assert`Source