package kaputt

  1. Overview
  2. Docs
type !'a predicate = 'a -> bool
type (!'a, !'b) t = {
  1. precond : 'a predicate;
  2. postcond : ('a * 'b) predicate;
}
val implies : 'a predicate -> ('a * 'b) predicate -> ('a, 'b) t
val (=>) : 'a predicate -> ('a * 'b) predicate -> ('a, 'b) t
val implies' : 'a predicate -> 'b predicate -> ('a, 'b) t
val (==>) : 'a predicate -> 'b predicate -> ('a, 'b) t
type !'a outcome =
  1. | Result of 'a
  2. | Exception of exn
val is_exception : exn predicate -> 'a outcome predicate
val is_result : 'a predicate -> 'a outcome predicate
val always : 'a predicate
val never : 'a predicate
val is_pos_int : int predicate
val is_neg_int : int predicate
val is_zero_int : int predicate
val is_nonzero_int : int predicate
val is_even_int : int predicate
val is_odd_int : int predicate
val is_pos_int32 : int32 predicate
val is_neg_int32 : int32 predicate
val is_zero_int32 : int32 predicate
val is_nonzero_int32 : int32 predicate
val is_even_int32 : int32 predicate
val is_odd_int32 : int32 predicate
val is_pos_int64 : int64 predicate
val is_neg_int64 : int64 predicate
val is_zero_int64 : int64 predicate
val is_nonzero_int64 : int64 predicate
val is_even_int64 : int64 predicate
val is_odd_int64 : int64 predicate
val is_pos_nativeint : nativeint predicate
val is_neg_nativeint : nativeint predicate
val is_zero_nativeint : nativeint predicate
val is_nonzero_nativeint : nativeint predicate
val is_even_nativeint : nativeint predicate
val is_odd_nativeint : nativeint predicate
val is_pos_float : float predicate
val is_neg_float : float predicate
val is_zero_float_eps : float -> float predicate
val is_nonzero_float_eps : float -> float predicate
val is_zero_float : float predicate
val is_nonzero_float : float predicate
val is_nan_float : float predicate
val is_nonnan_float : float predicate
val is_letter_char : char predicate
val is_digit_char : char predicate
val is_digit_bin_char : char predicate
val is_digit_oct_char : char predicate
val is_digit_hex_char : char predicate
val is_space_char : char predicate
val is_alphanum_char : char predicate
val is_empty_string : string predicate
val is_nonempty_string : string predicate
val is_empty_list : 'a list predicate
val is_nonempty_list : 'a list predicate
val is_empty_array : 'a array predicate
val is_nonempty_array : 'a array predicate
val is_none_option : 'a option predicate
val is_some_option : 'a option predicate
val exists_string : char predicate -> string predicate
val for_all_string : char predicate -> string predicate
val exists_list : 'a predicate -> 'a list predicate
val for_all_list : 'a predicate -> 'a list predicate
val exists_array : 'a predicate -> 'a array predicate
val for_all_array : 'a predicate -> 'a array predicate
module type Pred = sig ... end
module Map (M : Map.S) (P : sig ... end) : sig ... end
module Set (S : Set.S) (P : sig ... end) : sig ... end
val exists_hashtbl : ('a * 'b) predicate -> ('a, 'b) Hashtbl.t predicate
val for_all_hashtbl : ('a * 'b) predicate -> ('a, 'b) Hashtbl.t predicate
val exists_queue : 'a predicate -> 'a Queue.t predicate
val for_all_queue : 'a predicate -> 'a Queue.t predicate
val exists_stack : 'a predicate -> 'a Stack.t predicate
val for_all_stack : 'a predicate -> 'a Stack.t predicate
val exists_weak : 'a option predicate -> 'a Weak.t predicate
val for_all_weak : 'a option predicate -> 'a Weak.t predicate
module Weak (W : Weak.S) (P : sig ... end) : sig ... end
val logand : 'a predicate -> 'a predicate -> 'a predicate
val (&&&) : 'a predicate -> 'a predicate -> 'a predicate
val logand_list : 'a predicate list -> 'a predicate
val (&&&&) : 'a predicate list -> 'a predicate
val logor : 'a predicate -> 'a predicate -> 'a predicate
val (|||) : 'a predicate -> 'a predicate -> 'a predicate
val logor_list : 'a predicate list -> 'a predicate
val (||||) : 'a predicate list -> 'a predicate
val logxor : 'a predicate -> 'a predicate -> 'a predicate
val (^^^) : 'a predicate -> 'a predicate -> 'a predicate
val logxor_list : 'a predicate list -> 'a predicate
val (^^^^) : 'a predicate list -> 'a predicate
val not : 'a predicate -> 'a predicate
val zip1 : 'a predicate -> 'a predicate
val zip2 : 'a predicate -> 'b predicate -> ('a * 'b) predicate
val zip3 : 'a predicate -> 'b predicate -> 'c predicate -> ('a * 'b * 'c) predicate
val zip4 : 'a predicate -> 'b predicate -> 'c predicate -> 'd predicate -> ('a * 'b * 'c * 'd) predicate
val zip5 : 'a predicate -> 'b predicate -> 'c predicate -> 'd predicate -> 'e predicate -> ('a * 'b * 'c * 'd * 'e) predicate
val create_int_functions : ('a -> 'a -> int) -> 'a -> ('a -> 'a -> 'a) -> 'a -> 'a predicate * 'a predicate * 'a predicate * 'a predicate * 'a predicate * 'a predicate
OCaml

Innovation. Community. Security.