package octez-protocol-018-Proxford-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val error : loc:string -> ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result -> (Tezos_error_monad.TzCore.error -> bool) -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val proto_error_with_info : ?error_info_field:[< `Description | `Id | `Message | `Title Title ] -> loc:string -> ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result -> Tezos_base.TzPervasives.String.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val leq : loc:string -> ('a -> 'a -> int) -> string -> (Stdlib.Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val lt : loc:string -> ('a -> 'a -> int) -> string -> (Stdlib.Format.formatter -> 'a0 -> unit) -> 'a1 -> 'a2 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val not_equal : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.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 -> Stdlib.Char.t -> Stdlib.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_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:(Stdlib.Format.formatter -> 'a -> unit) -> 'b option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val equal_result : loc:string -> pp_ok:(Stdlib.Format.formatter -> 'a -> unit) -> pp_error:(Stdlib.Format.formatter -> 'b -> unit) -> ('c -> 'c -> bool) -> ('d -> 'd -> bool) -> ('c, 'd) Stdlib.result -> ('c, 'd) Stdlib.result -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val is_error : loc:string -> pp:(Stdlib.Format.formatter -> 'a -> unit) -> ('b, 'c) Stdlib.result -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val get_ok : __LOC__:string -> ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result -> 'b Tezos_base.TzPervasives.tzresult Lwt.t
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) Stdlib.result Lwt.t

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

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) Stdlib.result Lwt.t

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_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 -> '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 : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a list -> unit
val assert_equal_list : loc:string -> ('a -> 'a -> bool) -> string -> (Stdlib.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 -> (Stdlib.Format.formatter -> 'b -> unit) -> 'a list option -> 'a list option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
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.