Index of modules


A
Abbreviations
This module provides abbreviations of modules and functions for easier use.
Assert [Abbreviations]
Shorthand for Assertion module.
Assertion
This module provides functions evaluating assertions.

E
Enum [Abbreviations]
Shorthand for Enumerator module.
Enumerator
This module provides functions enumerating values.

G
Gen [Abbreviations]
Shorthand for Generator module.
Generator
This module provides functions generating values.

M
Map [Specification]
Functor used to build predicates for Map.S.t values.
Map [Reducer]
Functor used to build reducers for Map.S.t values.
Map [Generator]
Functor used to build generators for Map.S.t values.
Map [Assertion]
Functor used to build assertion functions for Map.S.t values.
Mock
This module provides support for mock functions, that record their calls.
Mock [Abbreviations]
Bare alias for Mock module.

R
Red [Abbreviations]
Shorthand for Reducer module.
Reducer
This module provides functions reducing values, in order to produce smaller counterexamples.

S
Set [Specification]
Functor used to build predicates for Set.S.t values.
Set [Reducer]
Functor used to build reducers for Set.S.t values.
Set [Generator]
Functor used to build generators for Set.S.t values.
Set [Assertion]
Functor used to build assertion functions for Map.S.t values.
Shell
This module provides type definitions, base functions, and combinators allowing to encode shell scripts.
Shell [Abbreviations]
Bare alias for Shell module.
Spec [Abbreviations]
Shorthand for Specification module.
Specification
This module provides type definitions, base functions, and combinators allowing to encode specifications.

T
Test
This module provides the functions for creating and running tests.
Test [Abbreviations]
Bare alias for Test module.

U
Utils
This module provides utility functions for the other modules.

V
Version
Current Kaputt version.

W
Weak [Specification]
Functor used to build predicates for Weak.S.t values.
Weak [Generator]
Functor used to build generators for Weak.S.t values.