kaputt 1.2 · OCaml Package

module Assert : sig ... end

module Gen : sig ... end

module Red : sig ... end

module Enum : sig ... end

module Spec : sig ... end

module Shell : sig ... end

module Mock : sig ... end

module Test : sig ... end

val (=>) : 
  'a Specification.predicate ->
  ('a * 'b) Specification.predicate ->
  ('a, 'b) Specification.t

val (==>) : 
  'a Specification.predicate ->
  'b Specification.predicate ->
  ('a, 'b) Specification.t

val (&&&) : 
  'a Specification.predicate ->
  'a Specification.predicate ->
  'a Specification.predicate

val (|||) : 
  'a Specification.predicate ->
  'a Specification.predicate ->
  'a Specification.predicate

val (^^^) : 
  'a Specification.predicate ->
  'a Specification.predicate ->
  'a Specification.predicate

val check : 
  ?title:string ->
  ?nb_runs:int ->
  ?nb_tries:int ->
  ?classifier:'a Test.classifier ->
  ?random_src:Generator.random ->
  'a Generator.t ->
  ('a -> 'b) ->
  ('a, 'b) Specification.t list ->
  unit

val check_partial : 
  ?title:string ->
  ?nb_runs:int ->
  ?nb_tries:int ->
  ?classifier:'a Test.classifier ->
  ?random_src:Generator.random ->
  'a Generator.t ->
  ('a -> 'b) ->
  ('a, 'b Specification.outcome) Specification.t list ->
  unit

val (|>) : 
  ([< `Input | `No_input ] as 'a, [ `Output ], [< `Error | `No_error ])
    Shell.command ->
  ([ `Input ], [< `No_output | `Output ] as 'b, [< `Error | `No_error ] as 'c)
    Shell.command ->
  ('a, 'b, 'c) Shell.command

val (>>) : 
  ([< `Input | `No_input ] as 'a, [ `Output ], [< `Error | `No_error ] as 'b)
    Shell.command ->
  string ->
  ('a, [ `No_output ], 'b) Shell.command

val (>>>) : 
  ([< `Input | `No_input ] as 'a, [ `Output ], [< `Error | `No_error ] as 'b)
    Shell.command ->
  string ->
  ('a, [ `No_output ], 'b) Shell.command

val (>>>>) : 
  ([< `Input | `No_input ] as 'a, [< `No_output | `Output ] as 'b, [ `Error ])
    Shell.command ->
  string ->
  ('a, 'b, [ `No_error ]) Shell.command

val (>>>>>) : 
  ([< `Input | `No_input ] as 'a, [< `No_output | `Output ] as 'b, [ `Error ])
    Shell.command ->
  string ->
  ('a, 'b, [ `No_error ]) Shell.command

package kaputt