| definition: |
userTestDataOfModule :: TestModule -> [(QName,Bool)]
userTestDataOfModule testmod = concatMap testDataOf (propTests testmod)
where
testDataOf (IOTest _ _) = []
testDataOf (PropTest _ texp _) =
map (\t -> (t,False)) (filter (\ (mn,_) -> mn /= preludeName)
(unionOn tconsOf (argTypes texp)))
testDataOf (EquivTest _ _ _ texp _) =
map (\t -> (t,True)) (unionOn tconsOf (argTypes texp))
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Extracts all user data types used as test data generators. -- Each type has a flag which is `True` if the test data should contain -- partial values (for checking equivalence of operations). |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
userTestDataOfModule |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
TestModule -> [((String, String), Prelude.Bool)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |