Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The Alg.Functor.S
interface extended with a way of generating arbitrary QCheck
values.
include Alg.Functor.S
include Alg_structs.Functor.Seed
The principle type.
The type constructor t
is the mapping of objects taking every type 'a
to a type 'a t
.
map ~f
maps the function f : 'a -> 'b
to a function 'f T : 'a T -> 'b T
.
As an example, if T (x : u) : u t
then map ~(f:u -> v) (T x)
is T (f
x) : v t
. As a result, map
is often thought of as applying f
"in" T
.
The function map
is the mapping of arrows, taking every arrow 'a -> 'b
to an arrow 'a t -> 'b t
.
val arbitrary : 'a QCheck.arbitrary -> 'a t QCheck.arbitrary