Testing
Description
Dieses Modul re-exportiert das QuickCheck-Modul zum Testen und stellt haeufig verwendete Testfallgeneratoren zur Verfuegung.
- positive ∷ (Num a, Ord a, Arbitrary a) ⇒ Gen a
- simpleRational ∷ Gen Rational
- simpleNonzeroRational ∷ Gen Rational
Documentation
positive ∷ (Num a, Ord a, Arbitrary a) ⇒ Gen a
Erzeugt positive Zahlen.
simpleRational ∷ Gen Rational
Erzeugt "einfache" rationale Zahlen, also solche, mit nicht zu grossen Zaehlern und Nennern.
Wird verwendet, um das Ausfuehren der Tests praktikabel zu halten.
simpleNonzeroRational ∷ Gen Rational
Erzeugt "einfache", von Null verschiedene rationale Zahlen.