package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type -'a t

An observable for 'a, packing a printer and other things.

val equal : 'a t -> 'a -> 'a -> bool

val hash : 'a t -> 'a -> int

val print : 'a t -> 'a Print.t

val unit : unit t

val bool : bool t

val int : int t

val float : float t

val string : string t

val bytes : bytes t

val char : char t

val make : ?eq:('a -> 'a -> bool) -> ?hash:('a -> int) -> 'a Print.t -> 'a t

val map : ('a -> 'b) -> 'b t -> 'a t

val option : 'a t -> 'a option t

val list : 'a t -> 'a list t

val array : 'a t -> 'a array t

val pair : 'a t -> 'b t -> ('a * 'b) t

val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t