package bonsai

  1. Overview
  2. Docs
package bonsai
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Incr = Ui_incr
include module type of struct include Expect_test_helpers_core end
module type With_comparator = sig ... end
module type With_compare = sig ... end
module type With_equal = sig ... end
module CR : sig ... end
module Phys_equal : sig ... end
module Sexp_style : sig ... end
val hide_positions_in_string : Base.string -> Base.string
val hide_temp_files_in_string : Base.string -> Base.string
val sexp_to_string : ?hide_positions:Base.bool -> Base.Sexp.t -> Base.string
val replace : Base.string -> pattern:Base.string -> with_:Base.string -> Base.string
val replace_s : Base.Sexp.t -> pattern:Base.string -> with_:Base.string -> Base.Sexp.t
val smash_sexp : Base.Sexp.t -> f:(Base.Sexp.t -> Base.Sexp.t) -> Base.Sexp.t
val remove_backtraces : Base.Sexp.t -> Base.Sexp.t
val print_s : ?hide_positions:Base.bool -> Base.Sexp.t -> Base.unit
val print_string : ?hide_positions:Base.bool -> Base.string -> Base.unit
val print_endline : ?hide_positions:Base.bool -> Base.string -> Base.unit
val expect_test_output : Base.Source_code_position.t -> Base.string
val print_cr : ?cr:CR.t -> ?hide_positions:Base.bool -> Base.Source_code_position.t -> Base.Sexp.t -> Base.unit
val require : ?cr:CR.t -> ?hide_positions:Base.bool -> ?if_false_then_print_s:Base.Sexp.t Base.Lazy.t -> Base.Source_code_position.t -> Base.bool -> Base.unit
val require_equal : ?cr:CR.t -> ?hide_positions:Base.bool -> ?if_false_then_print_s:Base.Sexp.t Base.Lazy.t -> ?message:Base.string -> Base.Source_code_position.t -> (module With_equal with type t = 'a) -> 'a -> 'a -> Base.unit
val require_compare_equal : ?cr:CR.t -> ?hide_positions:Base.bool -> ?message:Base.string -> Base.Source_code_position.t -> (module With_compare with type t = 'a) -> 'a -> 'a -> Base.unit
val require_sets_are_equal : ?cr:CR.t -> ?hide_positions:Base.bool -> ?names:(Base.string * Base.string) -> Base.Source_code_position.t -> (module With_comparator with type comparator_witness = 'cmp and type t = 'elt) -> ('elt, 'cmp) Base.Set.t -> ('elt, 'cmp) Base.Set.t -> Base.unit
val show_raise : ?hide_positions:Base.bool -> ?show_backtrace:Base.bool -> (Base.unit -> 'a) -> Base.unit
val require_does_not_raise : ?cr:CR.t -> ?hide_positions:Base.bool -> ?show_backtrace:Base.bool -> Base.Source_code_position.t -> (Base.unit -> Base.unit) -> Base.unit
val require_does_raise : ?cr:CR.t -> ?hide_positions:Base.bool -> ?show_backtrace:Base.bool -> Base.Source_code_position.t -> (Base.unit -> 'a) -> Base.unit
val require_some : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_some:('some -> Base.Sexp.t) -> Base.Source_code_position.t -> 'some Base.option -> Base.unit
val require_none : ?cr:CR.t -> ?hide_positions:Base.bool -> Base.Source_code_position.t -> ('some -> Base.Sexp.t) -> 'some Base.option -> Base.unit
val require_ok : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_ok:('ok -> Base.Sexp.t) -> Base.Source_code_position.t -> 'ok Base.Or_error.t -> Base.unit
val require_error : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_error:Base.bool -> Base.Source_code_position.t -> ('ok -> Base.Sexp.t) -> 'ok Base.Or_error.t -> Base.unit
val require_ok_result : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_ok:('ok -> Base.Sexp.t) -> Base.Source_code_position.t -> ('error -> Base.Sexp.t) -> ('ok, 'error) Base.Result.t -> Base.unit
val require_error_result : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_error:('error -> Base.Sexp.t) -> Base.Source_code_position.t -> ('ok -> Base.Sexp.t) -> ('ok, 'error) Base.Result.t -> Base.unit
val require_first : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_first:('first -> Base.Sexp.t) -> Base.Source_code_position.t -> ('second -> Base.Sexp.t) -> ('first, 'second) Base.Either.t -> Base.unit
val require_second : ?cr:CR.t -> ?hide_positions:Base.bool -> ?print_second:('second -> Base.Sexp.t) -> Base.Source_code_position.t -> ('first -> Base.Sexp.t) -> ('first, 'second) Base.Either.t -> Base.unit
val quickcheck : Base.Source_code_position.t -> ?cr:CR.t -> ?hide_positions:Base.bool -> ?seed: Expect_test_helpers_base__.Expect_test_helpers_base_intf.Quickcheck.Test.Config.Seed.t -> ?sizes:Base.int Base.Sequence.t -> ?trials:Base.int -> ?shrinker: 'a Expect_test_helpers_base__.Expect_test_helpers_base_intf.Quickcheck.Shrinker.t -> ?shrink_attempts:Base.int -> ?examples:'a Base.list -> sexp_of:('a -> Base.Sexp.t) -> f:('a -> Base.unit) -> 'a Expect_test_helpers_base__.Expect_test_helpers_base_intf.Quickcheck.Generator.t -> Base.unit
val quickcheck_m : Base.Source_code_position.t -> ?config:Base_quickcheck.Test.Config.t -> ?cr:CR.t -> ?examples:'a Base.list -> ?hide_positions:Base.bool -> (module Base_quickcheck.Test.S with type t = 'a) -> f:('a -> Base.unit) -> Base.unit
val sexp_style : Sexp_style.t Base.ref
val on_print_cr : (Base.string -> Base.unit) Base.ref
module type With_containers = sig ... end
module type With_comparable = sig ... end
module type With_hashable = sig ... end
val print_and_check_stable_type : ?cr:CR.t -> ?hide_positions:bool -> ?max_binable_length:int -> Core.Source_code_position.t -> (module Core.Stable_without_comparator with type t = 'a) -> 'a list -> unit
val print_and_check_stable_int63able_type : ?cr:CR.t -> ?hide_positions:bool -> ?max_binable_length:int -> Core.Source_code_position.t -> (module Core.Stable_int63able with type t = 'a) -> 'a list -> unit
val print_and_check_container_sexps : ?cr:CR.t -> ?hide_positions:bool -> Core.Source_code_position.t -> (module With_containers with type t = 'a) -> 'a list -> unit
val print_and_check_comparable_sexps : ?cr:CR.t -> ?hide_positions:bool -> Core.Source_code_position.t -> (module With_comparable with type t = 'a) -> 'a list -> unit
val print_and_check_hashable_sexps : ?cr:CR.t -> ?hide_positions:bool -> Core.Source_code_position.t -> (module With_hashable with type t = 'a) -> 'a list -> unit
val remove_time_spans : string -> string
module Allocation_limit : sig ... end
val require_allocation_does_not_exceed : ?hide_positions:bool -> Allocation_limit.t -> Core.Source_code_position.t -> (unit -> 'a) -> 'a
val require_no_allocation : ?hide_positions:bool -> Core.Source_code_position.t -> (unit -> 'a) -> 'a
module Expect_test_helpers_core_private : sig ... end
val dummy_source_code_position : Core.Source_code_position.t
module Result_spec : sig ... end
module Handle : sig ... end
module Effect : sig ... end
module Arrow : sig ... end
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