package ppx_quick_test

  1. Overview
  2. Docs
package ppx_quick_test
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file ppx_quick_test_core.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
open! Core

let run
  (type a)
  ~here_pos
  ?config
  ~examples
  (module M : Base_quickcheck.Test.S with type t = a)
  ~(f : a -> unit Or_error.t)
  =
  Base_quickcheck.Test.result
    ?config
    ~examples
    (module M)
    ~f:(fun elt ->
      Or_error.try_with_join (fun () ->
        let result = f elt in
        Ppx_quick_test_runtime_lib.assert_no_expect_test_trailing_output
          here_pos
          M.sexp_of_t
          elt;
        result))
;;

include Ppx_quick_test_runtime_lib.Make (struct
  module IO = Monad.Ident

  let run = run
end)