cinch-test / 0.3.1Test/Check.cinch

Declaration source.

This sample listing contains the declarations shown in the API reference. Package implementations will appear here when real package data is connected.

module Test.Check where

3-- A deterministic generator that produces values from a seed.
4opaque Gen a
5 

6-- A testable proposition with a failure report and counterexample.
7opaque Property
8 

9-- Test a property over generated values.
10for-all :: forall a. Gen a -> (a -> Bool) -> Property
11 

12-- Run a property for the requested number of examples.
13check :: Nat -> Property ->{Io r} Result String Unit
14 