package octez-protocol-020-PsParisC-libs

  1. Overview
  2. Docs
Octez protocol 020-PsParisC libraries

Install

Dune Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-protocol-020-PsParisC-libs.test-helpers/Tezos_020_PsParisC_test_helpers/Assert/index.html

Module Tezos_020_PsParisC_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_020_PsParisC.Error_monad.error -> unit
Sourceval proto_error : loc:string -> ('a, Tezos_base.TzPervasives.tztrace) result -> (Tezos_protocol_020_PsParisC.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_q : loc:string -> Q.t -> Q.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_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_tez : loc:string -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC.Protocol.Alpha_context.Tez.t, Tezos_base.TzPervasives.tztrace) result Lwt.t) -> loc:string -> 'a -> 'b -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> (unit, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval balance_is : loc:string -> Tezos_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC.Protocol.Alpha_context.Tez.t Tezos_protocol_020_PsParisC.Environment.Error_monad.tzresult) -> loc:string -> Tezos_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> 'a -> 'b -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval balance_was_credited : loc:string -> Tezos_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.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_020_PsParisC_test_helpers__Context.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Contract.t -> Tezos_protocol_020_PsParisC.Protocol.Alpha_context.Tez.t -> Tezos_protocol_020_PsParisC.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__V1.Encoding.t -> 'a -> string
Sourceval equal_with_encoding : loc:string -> 'a Data_encoding__V1.Encoding.t -> 'a -> 'a -> unit Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval not_equal_with_encoding : loc:string -> 'a Data_encoding__V1.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