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.ApplicativeSource
QCheck tests of Applicative Laws
The Alg.Applicative.S interface extended with a way of generating arbitrary QCheck values for S.t.
test (module A) is a list of QCheck property based tests that checks whether the Applicative Laws hold for the given implementation A.