| Name : ghc-leancheck
| |
| Version : 0.7.7
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 1.8
| Date : 2019-02-13 03:08:08
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-leancheck-0.7.7-1.8.src.rpm
|
| Size : 1.28 MB
| |
| Packager : (none)
| |
| Summary : Enumerative property-based testing
|
Description :
LeanCheck is a simple enumerative property-based testing library.
Properties are defined as Haskell functions returning a boolean value which
should be true for all possible choices of argument values. LeanCheck applies
enumerated argument values to these properties in search for a counterexample.
Properties can be viewed as parameterized unit tests.
LeanCheck works by producing tiers of test values: a possibly infinite list of
finite sublists of same-and-increasingly-sized values.
LeanCheck has lean core with only 180 lines of Haskell code.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/12/openSUSE_Tumbleweed/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-leancheck
ghc-leancheck(x86-64)
libHSleancheck-0.7.7-Wn0mNntkvw7oDavPKlKg8-ghc8.4.4.so()(64bit)
Requires :
