| Name : ghc-quickcheck-combinators
| |
| Version : 0.0.1
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 2.9
| Date : 2018-03-09 21:07:46
|
| Group : Development/Languages/Other
| Source RPM : ghc-quickcheck-combinators-0.0.1-2.9.src.rpm
|
| Size : 0.29 MB
| |
| Packager : (none)
| |
| Summary : Simple type-level combinators for augmenting QuickCheck instances
|
Description :
Simply wrap the type you want to generate (assuming it satisfies all the
necessary constraints) to refine the terms generated:
\' {-# LANGUAGE DataKinds #-}
import Data.Set (Set)
import Test.QuickCheck import Test.QuickCheck.Instances import GHC.TypeLits
instance Arbitrary LinearEquation where arbitrary = do
vars < - arbitrary :: Gen (AtLeast 3 Set String)
-- ... \' .
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/7/SLE_12_SP2_Backports/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-quickcheck-combinators
ghc-quickcheck-combinators(x86-64)
libHSquickcheck-combinators-0.0.1-7xbp5TTC8opHDw3C37lZxV-ghc8.0.1.so()(64bit)
Requires :
