learn-ocaml 1.0.0 (latest)

val run_timeout : ?time:int -> (unit -> 'a) -> 'a

val exec : (unit -> 'a) -> ('a * string * string) result

val result : (unit -> 'a) -> 'a result

type ('a, 'b, 'c) args = ('a, 'b, 'c) Fun_ty.args

val last : 'a -> ('a -> 'ret, 'a -> unit, 'ret) args

val arg : 
  'a ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  ('a -> 'ar -> 'row, 'a -> 'ar -> 'urow, 'ret) args

val (!!) : 'a -> ('a -> 'ret, 'a -> unit, 'ret) args

val (@:) : 
  'a ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  ('a -> 'ar -> 'row, 'a -> 'ar -> 'urow, 'ret) args

val (@:!!) : 'a -> 'b -> ('a -> 'b -> 'ret, 'a -> 'b -> unit, 'ret) args

val apply : ('ar -> 'row) -> ('ar -> 'row, 'ar -> 'urow, 'ret) args -> 'ret

type ('a, 'b, 'c) fun_ty = ('a, 'b, 'c) Fun_ty.fun_ty

val last_ty : 
  'a Ty.ty ->
  'ret Ty.ty ->
  (('a -> 'ret) Ty.ty, 'a -> unit, 'ret) fun_ty

val arg_ty : 
  'a Ty.ty ->
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  (('a -> 'ar -> 'row) Ty.ty, 'a -> 'ar -> 'urow, 'ret) fun_ty

val ty_of_fun_ty : 
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  ('ar -> 'row) Ty.ty

val get_ret_ty : 
  ('ar -> 'row) Ty.ty ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args ->
  'ret Ty.ty

module type S = sig ... end

module Make (_ : S) : sig ... end

val apply_args_1 : ('a -> 'b) -> ('a -> 'c, 'a -> unit, 'c) args -> 'b

val apply_args_2 : 
  ('a -> 'b -> 'c) ->
  ('a -> 'b -> 'd, 'a -> 'b -> unit, 'd) args ->
  'c

val apply_args_3 : 
  ('a -> 'b -> 'c -> 'd) ->
  ('a -> 'b -> 'c -> 'e, 'a -> 'b -> 'c -> unit, 'e) args ->
  'd

val apply_args_4 : 
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  ('a -> 'b -> 'c -> 'd -> 'f, 'a -> 'b -> 'c -> 'd -> unit, 'f) args ->
  'e

val ty_of_prot : 
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  ('ar -> 'row) Ty.ty

deprecated Use ty_of_fun_ty instead.

type !'a lookup =
  unit ->
  [ `Found of string * Learnocaml_report.t * 'a
  | `Unbound of string * Learnocaml_report.t ]

val lookup : 'a Ty.ty -> ?display_name:string -> string -> 'a lookup

val lookup_student : 'a Ty.ty -> string -> 'a lookup

val lookup_solution : 'a Ty.ty -> string -> 'a lookup

val found : string -> 'a -> 'a lookup

val name : 'a lookup -> string

val test_value : 
  'a lookup ->
  ('a -> Learnocaml_report.t) ->
  Learnocaml_report.t

val test_function : 
  ?test:'ret tester ->
  ?test_stdout:io_tester ->
  ?test_stderr:io_tester ->
  ?before:(('ar -> 'row, 'ar -> 'urow, 'ret) args -> unit) ->
  ?after:
    (('ar -> 'row, 'ar -> 'urow, 'ret) args ->
      ('ret * string * string) ->
      ('ret * string * string) ->
      Learnocaml_report.t) ->
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  ('ar -> 'row) lookup ->
  (('ar -> 'row, 'ar -> 'urow, 'ret) args * (unit -> 'ret)) list ->
  Learnocaml_report.t

val test_function_against : 
  ?gen:int ->
  ?test:'ret tester ->
  ?test_stdout:io_tester ->
  ?test_stderr:io_tester ->
  ?before_reference:(('ar -> 'row, 'ar -> 'urow, 'ret) args -> unit) ->
  ?before_user:(('ar -> 'row, 'ar -> 'urow, 'ret) args -> unit) ->
  ?after:
    (('ar -> 'row, 'ar -> 'urow, 'ret) args ->
      ('ret * string * string) ->
      ('ret * string * string) ->
      Learnocaml_report.t) ->
  ?sampler:(unit -> ('ar -> 'row, 'ar -> 'urow, 'ret) args) ->
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  ('ar -> 'row) lookup ->
  ('ar -> 'row) lookup ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args list ->
  Learnocaml_report.t

val test_function_against_solution : 
  ?gen:int ->
  ?test:'ret tester ->
  ?test_stdout:io_tester ->
  ?test_stderr:io_tester ->
  ?before_reference:(('ar -> 'row, 'ar -> 'urow, 'ret) args -> unit) ->
  ?before_user:(('ar -> 'row, 'ar -> 'urow, 'ret) args -> unit) ->
  ?after:
    (('ar -> 'row, 'ar -> 'urow, 'ret) args ->
      ('ret * string * string) ->
      ('ret * string * string) ->
      Learnocaml_report.item list) ->
  ?sampler:(unit -> ('ar -> 'row, 'ar -> 'urow, 'ret) args) ->
  (('ar -> 'row) Ty.ty, 'ar -> 'urow, 'ret) fun_ty ->
  string ->
  ('ar -> 'row, 'ar -> 'urow, 'ret) args list ->
  Learnocaml_report.item list

val (==>) : 'params -> 'ret -> 'params * (unit -> 'ret)

package learn-ocaml