package learn-ocaml

  1. Overview
  2. Docs
val test_function_1 : ?test:'b tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before:('a -> unit) -> ?after: ('a -> ('b * string * string) -> ('b * string * string) -> Learnocaml_report.t) -> ('a -> 'b) Ty.ty -> string -> ('a * 'b * string * string) list -> Learnocaml_report.t
val test_function_1_against : ?gen:int -> ?test:'b tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> unit) -> ?before_user:('a -> unit) -> ?after: ('a -> ('b * string * string) -> ('b * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a) -> ('a -> 'b) Ty.ty -> string -> ('a -> 'b) -> 'a list -> Learnocaml_report.t
val test_function_1_against_solution : ?gen:int -> ?test:'b tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> unit) -> ?before_user:('a -> unit) -> ?after: ('a -> ('b * string * string) -> ('b * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a) -> ('a -> 'b) Ty.ty -> string -> 'a list -> Learnocaml_report.t
val test_function_1_against_postcond : ?gen:int -> ?test_stdout:io_postcond -> ?test_stderr:io_postcond -> ?before_reference:('a -> unit) -> ?before_user:('a -> unit) -> ?after:('a -> ('b * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a) -> ('a -> 'b Ty.ty -> 'b result -> Learnocaml_report.t) -> ('a -> 'b) Ty.ty -> string -> 'a list -> Learnocaml_report.t
val test_function_2 : ?test:'c tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before:('a -> 'b -> unit) -> ?after: ('a -> 'b -> ('c * string * string) -> ('c * string * string) -> Learnocaml_report.t) -> ('a -> 'b -> 'c) Ty.ty -> string -> ('a * 'b * 'c * string * string) list -> Learnocaml_report.t
val test_function_2_against : ?gen:int -> ?test:'c tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> unit) -> ?before_user:('a -> 'b -> unit) -> ?after: ('a -> 'b -> ('c * string * string) -> ('c * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b) -> ('a -> 'b -> 'c) Ty.ty -> string -> ('a -> 'b -> 'c) -> ('a * 'b) list -> Learnocaml_report.t
val test_function_2_against_solution : ?gen:int -> ?test:'c tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> unit) -> ?before_user:('a -> 'b -> unit) -> ?after: ('a -> 'b -> ('c * string * string) -> ('c * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b) -> ('a -> 'b -> 'c) Ty.ty -> string -> ('a * 'b) list -> Learnocaml_report.t
val test_function_2_against_postcond : ?gen:int -> ?test_stdout:io_postcond -> ?test_stderr:io_postcond -> ?before_reference:('a -> 'b -> unit) -> ?before_user:('a -> 'b -> unit) -> ?after:('a -> 'b -> ('c * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b) -> ('a -> 'b -> 'c Ty.ty -> 'c result -> Learnocaml_report.t) -> ('a -> 'b -> 'c) Ty.ty -> string -> ('a * 'b) list -> Learnocaml_report.t
val test_function_3 : ?test:'d tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before:('a -> 'b -> 'c -> unit) -> ?after: ('a -> 'b -> 'c -> ('d * string * string) -> ('d * string * string) -> Learnocaml_report.t) -> ('a -> 'b -> 'c -> 'd) Ty.ty -> string -> ('a * 'b * 'c * 'd * string * string) list -> Learnocaml_report.t
val test_function_3_against : ?gen:int -> ?test:'d tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> 'c -> unit) -> ?before_user:('a -> 'b -> 'c -> unit) -> ?after: ('a -> 'b -> 'c -> ('d * string * string) -> ('d * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c) -> ('a -> 'b -> 'c -> 'd) Ty.ty -> string -> ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) list -> Learnocaml_report.t
val test_function_3_against_solution : ?gen:int -> ?test:'d tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> 'c -> unit) -> ?before_user:('a -> 'b -> 'c -> unit) -> ?after: ('a -> 'b -> 'c -> ('d * string * string) -> ('d * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c) -> ('a -> 'b -> 'c -> 'd) Ty.ty -> string -> ('a * 'b * 'c) list -> Learnocaml_report.t
val test_function_3_against_postcond : ?gen:int -> ?test_stdout:io_postcond -> ?test_stderr:io_postcond -> ?before_reference:('a -> 'b -> 'c -> unit) -> ?before_user:('a -> 'b -> 'c -> unit) -> ?after:('a -> 'b -> 'c -> ('d * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c) -> ('a -> 'b -> 'c -> 'd Ty.ty -> 'd result -> Learnocaml_report.t) -> ('a -> 'b -> 'c -> 'd) Ty.ty -> string -> ('a * 'b * 'c) list -> Learnocaml_report.t
val test_function_4 : ?test:'e tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before:('a -> 'b -> 'c -> 'd -> unit) -> ?after: ('a -> 'b -> 'c -> 'd -> ('e * string * string) -> ('e * string * string) -> Learnocaml_report.t) -> ('a -> 'b -> 'c -> 'd -> 'e) Ty.ty -> string -> ('a * 'b * 'c * 'd * 'e * string * string) list -> Learnocaml_report.t
val test_function_4_against : ?gen:int -> ?test:'e tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> 'c -> 'd -> unit) -> ?before_user:('a -> 'b -> 'c -> 'd -> unit) -> ?after: ('a -> 'b -> 'c -> 'd -> ('e * string * string) -> ('e * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c * 'd) -> ('a -> 'b -> 'c -> 'd -> 'e) Ty.ty -> string -> ('a -> 'b -> 'c -> 'd -> 'e) -> ('a * 'b * 'c * 'd) list -> Learnocaml_report.t
val test_function_4_against_solution : ?gen:int -> ?test:'e tester -> ?test_stdout:io_tester -> ?test_stderr:io_tester -> ?before_reference:('a -> 'b -> 'c -> 'd -> unit) -> ?before_user:('a -> 'b -> 'c -> 'd -> unit) -> ?after: ('a -> 'b -> 'c -> 'd -> ('e * string * string) -> ('e * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c * 'd) -> ('a -> 'b -> 'c -> 'd -> 'e) Ty.ty -> string -> ('a * 'b * 'c * 'd) list -> Learnocaml_report.t
val test_function_4_against_postcond : ?gen:int -> ?test_stdout:io_postcond -> ?test_stderr:io_postcond -> ?before_reference:('a -> 'b -> 'c -> 'd -> unit) -> ?before_user:('a -> 'b -> 'c -> 'd -> unit) -> ?after: ('a -> 'b -> 'c -> 'd -> ('e * string * string) -> Learnocaml_report.t) -> ?sampler:(unit -> 'a * 'b * 'c * 'd) -> ('a -> 'b -> 'c -> 'd -> 'e Ty.ty -> 'e result -> Learnocaml_report.t) -> ('a -> 'b -> 'c -> 'd -> 'e) Ty.ty -> string -> ('a * 'b * 'c * 'd) list -> Learnocaml_report.t
OCaml

Innovation. Community. Security.