Name : ghc-quickcheck-combinators
| |
Version : 0.0.2
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
Release : 8.1
| Date : 2018-06-28 11:19:51
|
Group : Development/Libraries/Haskell
| Source RPM : ghc-quickcheck-combinators-0.0.2-8.1.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:/9/SLE_12_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.2-KaKdOn8pUTw7h0bA5S3P0N-ghc8.0.2.so()(64bit)
Requires :