On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package popper
Types
Primitives
val pass : tpass is a proposition that true
val fail : ?loc:string -> (Format.formatter -> unit -> unit) -> tfail ?loc pp is a failing proposition with location loc if given and printer pp for the error message
val fail_with : ?loc:string -> string -> tfail_with ?loc msg is a proposition that fails with location loc if given and message msg
val discard : tdiscard is a proposition that is discarded.
val equal : ?loc:string -> 'a Comparator.t -> 'a -> 'a -> tequal ?loc cmp x y returns a proposition pass only if x and y are equal using the given comparator cmp. If loc is passed, it reports the location string in case of failure.
val less_than : ?loc:string -> 'a Comparator.t -> 'a -> 'a -> tless_than ?loc cmp x y returns a proposition pass only if x is less than y when using the given compartor cmp. If loc is passed, it reports the location string in case of failure.
val greater_than : ?loc:string -> 'a Comparator.t -> 'a -> 'a -> tgreater_than ?loc cmp x y returns a proposition pass only if x is greater than y when using the given compartor cmp. If loc is passed, it reports the location string in case of failure.
val less_equal_than : ?loc:string -> 'a Comparator.t -> 'a -> 'a -> tless_equal_than ?loc cmp x y returns a proposition pass only if x is less than or equal to y when using the given compartor cmp. If loc is passed, it reports the location string in case of failure.
val greater_equal_than : ?loc:string -> 'a Comparator.t -> 'a -> 'a -> tgreater_equal_than ?loc cmp x y returns a proposition pass only if x is greater than or equal to y when using the given compartor cmp. If loc is passed, it reports the location string in case of failure.
val is_true : ?loc:string -> bool -> tis_true ?loc b returns a proposition pass if b is true. Otherwise fail with location loc if given.
val is_false : ?loc:string -> bool -> tis_false ?loc b returns a proposition pass if b is false. Otherwise fail with location loc if given.
Combinators
all ps is a proposition that only passes if all given propositions in ps are pass.
On This Page