Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package alg_structs_qcheck
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Alg_structs_qcheck.FunctorSource
QCheck tests of Functor Laws
The Alg.Functor.S interface extended with a way of generating arbitrary QCheck values.
test (module F) is a list of QCheck property based tests that checks whether the Functor Laws hold for the given implementation F.