kaputt 1.2 (latest) · OCaml Package

type !'a predicate = 'a -> bool

type (!'a, !'b) t = {

precond : 'a predicate;
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 =

| Result of 'a
| 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

package kaputt