package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Testable collects Alcotest.testable definitions for OCaml base types.

include module type of struct include Alcotest end
type return = unit
type speed_level = [
  1. | `Quick
  2. | `Slow
]
type !'a test_case = string * speed_level * ('a -> return)
exception Test_error
val test_case : string -> speed_level -> ('a -> return) -> 'a test_case
type !'a test = string * 'a test_case list
type !'a with_options = ?stdout:Alcotest_engine__.Formatters.stdout -> ?stderr:Alcotest_engine__.Formatters.stderr -> ?and_exit:bool -> ?verbose:bool -> ?compact:bool -> ?tail_errors:[ `Limit of int | `Unlimited ] -> ?quick_only:bool -> ?show_errors:bool -> ?json:bool -> ?filter:(name:string -> index:int -> [ `Run | `Skip ]) -> ?log_dir:string -> ?bail:bool -> ?record_backtrace:bool -> ?ci:Alcotest_engine__.Config.ci -> 'a
val run : (?argv:string array -> string -> unit test list -> return) with_options
val run_with_args : (?argv:string array -> string -> 'a Cmdliner.Term.t -> 'a test list -> return) with_options
module type TESTABLE = Alcotest.TESTABLE
type !'a testable = (module TESTABLE with type t = 'a)
val testable : 'a Fmt.t -> ('a -> 'a -> bool) -> 'a testable
val pp : 'a testable -> 'a Fmt.t
val equal : 'a testable -> 'a -> 'a -> bool
val bool : bool testable
val int : int testable
val int32 : int32 testable
val int64 : int64 testable
val float : float -> float testable
val char : char testable
val string : string testable
val bytes : bytes testable
val unit : unit testable
val list : 'a testable -> 'a list testable
val slist : 'a testable -> ('a -> 'a -> int) -> 'a list testable
val array : 'a testable -> 'a array testable
val option : 'a testable -> 'a option testable
val result : 'a testable -> 'e testable -> ('a, 'e) Stdlib.result testable
val pair : 'a testable -> 'b testable -> ('a * 'b) testable
val triple : 'a testable -> 'b testable -> 'c testable -> ('a * 'b * 'c) testable
val of_pp : 'a Fmt.t -> 'a testable
val pass : 'a testable
val reject : 'a testable
val neg : 'a testable -> 'a testable
module Source_code_position = Alcotest.Source_code_position
type !'a extra_info = ?here:Source_code_position.here -> ?pos:Source_code_position.pos -> 'a
val check : ('a testable -> string -> 'a -> 'a -> unit) extra_info
val check' : ('a testable -> msg:string -> expected:'a -> actual:'a -> unit) extra_info
val fail : (string -> 'a) extra_info
val failf : (('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a) extra_info
val check_raises : (string -> exn -> (unit -> unit) -> unit) extra_info
val match_raises : (string -> (exn -> bool) -> (unit -> unit) -> unit) extra_info
val skip : unit -> 'a
module V1 = Alcotest.V1
module Unix_platform = Alcotest.Unix_platform
val exn : exn testable
val map : ('b -> 'a) -> 'a testable -> 'b testable
val pair3 : ('a * ('b * 'c)) testable -> ('a * 'b * 'c) testable
val pair4 : ('a * ('b * ('c * 'd))) testable -> ('a * 'b * 'c * 'd) testable
val tuple3 : 'a testable -> 'b testable -> 'c testable -> ('a * 'b * 'c) testable
val tuple4 : 'a testable -> 'b testable -> 'c testable -> 'd testable -> ('a * 'b * 'c * 'd) testable
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