Module `STM`Source

Module with combinators and definitions to specify an STM test

Sourcetype 'a ty = ..

Extensible type to represent result values

Sourcetype ty +=

| Unit : unit ty
| Bool : bool ty
| Char : char ty
| Int : int ty
| Int32 : int32 ty
| Int64 : int64 ty
| Float : float ty
| String : string ty
| Bytes : bytes ty
| Exn : exn ty
| Option : 'a ty -> 'a option ty
| Result : 'a ty * 'b ty -> ('a, 'b) result ty
| List : 'a ty -> 'a list ty
| Array : 'a ty -> 'a array ty
| Seq : 'a ty -> 'a Seq.t ty

A range of constructors to represent built-in types

Sourcetype 'a ty_show = 'a ty * ('a -> string)

Combinator type to represent an OCaml type along with an associated to_string function

Sourceval unit : unit ty_show

Combinator to represent the unit type

Sourceval bool : bool ty_show

Combinator to represent the bool type

Sourceval char : char ty_show

Combinator to represent the char type

Sourceval int : int ty_show

Combinator to represent the int type

Sourceval int32 : int32 ty_show

Combinator to represent the int32 type

Sourceval int64 : int64 ty_show

Combinator to represent the int64 type

Sourceval float : float ty_show

Combinator to represent the float type

Sourceval string : string ty_show

Combinator to represent the string type

Sourceval bytes : bytes ty_show

Combinator to represent the bytes type

Sourceval option : 'a ty_show -> 'a option ty_show

option t builds a t option type representation

Sourceval exn : exn ty_show

Combinator to represent the exception type

Sourceval result : 'a ty_show -> 'b ty_show -> ('a, 'b) Result.t ty_show

result a b builds an (a,b) result type representation

Sourceval list : 'a ty_show -> 'a list ty_show

list t builds a t list type representation

Sourceval array : 'a ty_show -> 'a array ty_show

array t builds a t array type representation

Sourceval seq : 'a ty_show -> 'a Seq.t ty_show

seq t builds a t Seq.t type representation

Sourcetype res =

| Res : 'a ty_show * 'a -> res

Sourceval show_res : res -> string

Sourcemodule type Spec = sig ... end

The specification of a state machine.

Sourcemodule type SpecExt = sig ... end

Extended specification of a state machine.

Sourcemodule SpecDefaults : sig ... end

Default implementations for state machine specifications that can be given useful defaults.

Sourcemodule Internal : sig ... end

Sourceval protect : ('a -> 'b) -> 'a -> ('b, exn) result

protect f turns an exception-throwing function into a result-returning function.

package qcheck-stm

Module STMSource

Module `STM`Source