package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val join_errors : (unit, 'a list) result -> (unit, 'a list) result -> (unit, 'a list) result Lwt.t
val test_error_encodings : Tezos_protocol_environment_alpha.Error_monad.error -> unit
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
val equal : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val leq : loc:string -> ('a -> 'a -> int) -> string -> (Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val lt : loc:string -> ('a -> 'a -> int) -> string -> (Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
module Int32 : sig ... end
module Int64 : sig ... end
val equal_char : loc:string -> Char.t -> Char.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val leq_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val leq_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val lt_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val leq_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_z : loc:string -> Z.t -> Z.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_q : loc:string -> Q.t -> Q.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_bool : loc:string -> bool -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal_bool : loc:string -> bool -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val is_true : loc:string -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_string : loc:string -> string -> string -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal_string : loc:string -> string -> string -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val get_some : loc:string -> 'a option -> 'b Tezos_base.TzPervasives.tzresult Lwt.t
val is_none : loc:string -> pp:(Format.formatter -> 'a -> unit) -> 'b option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_result : loc:string -> pp_ok:(Format.formatter -> 'a -> unit) -> pp_error:(Format.formatter -> 'b -> unit) -> ('c -> 'c -> bool) -> ('d -> 'd -> bool) -> ('c, 'd) result -> ('c, 'd) result -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val is_error : loc:string -> pp:(Format.formatter -> 'a -> unit) -> ('b, 'c) result -> unit Tezos_base.TzPervasives.tzresult Lwt.t

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

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

val balance_or_frozen_bonds_was_operated : is_balance:bool -> operand: ('a -> 'b -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t Tezos_protocol_alpha.Environment.Error_monad.tzresult) -> loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> 'c -> 'd -> unit Tezos_base.TzPervasives.tzresult 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.

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

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.

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.

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 -> 'b -> unit) -> 'a list -> 'a list -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val assert_equal_list_opt : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'b -> unit) -> 'a list option -> 'a list option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_list_any_order : loc:string -> compare:('a -> 'a -> int) -> string -> (Format.formatter -> 'b -> unit) -> 'c list -> 'a list -> unit Tezos_base.TzPervasives.tzresult Lwt.t

Checks that both lists have the same elements, not taking the order of these elements into account, but taking their multiplicity into account.

val to_json_string : 'a Data_encoding.Encoding.t -> 'b -> string
val equal_with_encoding : loc:string -> 'a Data_encoding.Encoding.t -> 'b -> 'c -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal_with_encoding : loc:string -> 'a Data_encoding.Encoding.t -> 'b -> 'c -> unit Tezos_base.TzPervasives.tzresult Lwt.t
OCaml

Innovation. Community. Security.