package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Octez protocol alpha libraries

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Assert/index.html

Module Tezos_alpha_test_helpers.AssertSource

Sourceval error : loc:string -> ('a, Tezos_base.TzPervasives.tztrace) result -> (Tezos_error_monad.TzCore.error -> bool) -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval test_error_encodings : Tezos_protocol_environment_alpha.Error_monad.error -> unit
Sourceval proto_error : loc:string -> ('a, Tezos_base.TzPervasives.tztrace) result -> (Tezos_protocol_alpha.Environment.Error_monad.error -> bool) -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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
Sourceval equal : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval leq : loc:string -> ('a -> 'a -> int) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval lt : loc:string -> ('a -> 'a -> int) -> string -> (Format.formatter -> 'a -> unit) -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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
Sourceval equal_char : loc:string -> Char.t -> Char.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval leq_int : loc:string -> int -> int -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval leq_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval lt_int32 : loc:string -> int32 -> int32 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval leq_int64 : loc:string -> int64 -> int64 -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_z : loc:string -> Z.t -> Z.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_bool : loc:string -> bool -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_bool : loc:string -> bool -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval is_true : loc:string -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_string : loc:string -> string -> string -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_string : loc:string -> string -> string -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval equal_tez : loc:string -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_tez : loc:string -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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
Sourceval 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
Sourceval equal_protocol_hash : loc:string -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_base.TzPervasives.Protocol_hash.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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
Sourceval get_some : loc:string -> 'a option -> 'a Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval is_none : loc:string -> pp:(Format.formatter -> 'a -> unit) -> 'a option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval 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
Sourceval is_error : loc:string -> pp:(Format.formatter -> 'a -> unit) -> ('a, 'b) result -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval get_ok : __LOC__:string -> ('a, Tezos_base.TzPervasives.tztrace) result -> 'a Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval contract_property_is : ('a -> 'b -> (Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t, Tezos_base.TzPervasives.tztrace) result Lwt.t) -> loc:string -> 'a -> 'b -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval balance_is : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.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.

Sourceval frozen_bonds_is : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.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.

Sourceval 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 -> 'a -> 'b -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval balance_was_credited : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> 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.

Sourceval balance_was_debited : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult 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.

Sourceval frozen_bonds_was_credited : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult 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.

Sourceval frozen_bonds_was_debited : loc:string -> Tezos_alpha_test_helpers__Context.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult 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.

Sourceval pp_print_list : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
Sourceval 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 assert_equal_list_opt : loc:string -> ('a -> 'a -> bool) -> string -> (Format.formatter -> 'a -> unit) -> 'a list option -> 'a list option -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval to_json_string : 'a Data_encoding.Encoding.t -> 'a -> string
Sourceval equal_with_encoding : loc:string -> 'a Data_encoding.Encoding.t -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_with_encoding : loc:string -> 'a Data_encoding.Encoding.t -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct