variable Fonction non compris dans Haskell

Question

Salut j'ai le code suivant

import Data.Maybe 
import Test.QuickCheck 
import System.Random 


rndExpr :: Gen Expr -> IO Expr 
rndExpr gen = do 
    rnd <- newStdGen 
    return (generate 5 rnd gen) 

Mais je reçois « pas dans la portée "générer", pourquoi est-ce donc?

Cordialement Darren

Modifier J'importent Test.QuickCheck mais il reste des plaintes à propos de la "générer" n'est pas dans la portée

Modifier 2

Comment écrire cette fonction pour qu'elle fonctionne avec quickcheck version 2? Je simplement essayé de mettre « Ungen » où était sans générer succsess, je quickcheck également installé v 2 (cabale installer QuickCheck-2.1.0.3)

je besoin d'une fonction avec des propriétés suivantes stdGen->Gen Expr->Expr' et Ungen semblent me donner ce fonctionnalité, mais comme je l'ai dit, mon compilateur ne peut pas trouver cette fonction. Y a-t-il d'autres fonctions que je pourrais utiliser pour ce problème?

Answer 1

generate n'est pas une fonction de System.Random. Vous recherchez peut-être next? Permettez-moi d'être clair: je ne sais pas pourquoi vous utilisez QuickCheck/Arbitrary pour une tâche qui semble plus adaptée à Random/MonadRandom. Je suppose que vous avez examiné vos options et passer à autre chose.

Faut-il choisir son générateur? Tu ne peux pas utiliser sample' :: Gen a -> IO a?

getVal :: IO a 
getVal = sample' arbitrary 

Ceci devrait fonctionner pour QC2.

OTOH, si vous voulez vraiment utiliser votre propre StdGen (ou si vous voulez éviter IO) puis essayez:

import System.Random 
import Test.QuickCheck 
import Test.QuickCheck.Gen 

func :: StdGen -> Int 
func g = unGen arbitrary g 0 

Cela utilisera le StdGen nommé g et un comte (0 ici) pour générer votre valeur. Parce que unGen ne marche pas le générateur, et que le compteur ne donne pas de bonnes propriétés aléatoires (il semble que vous pouvez essayer et voir par vous-même), vous pourriez vouloir envelopper avec quelque chose qui génère StdGen s (beurk).

Si vous ne savez pas ce package version que vous utilisez, puis exécutez:

$ ghc-pkg list | grep QuickCheck 
(QuickCheck-2.1.1.1) 
QuickCheck-1.2.0.1 

Dans ma configuration (voir ci-dessus), j'ai à la fois 1 et 2, mais 2 est caché (le () signifie caché) donc quand j'utilise GHCi et que j'importe Test.QuickCheck c'est la version 1 que je reçois.

Answer 2

Il semble que vous utilisiez des générateurs de Test.QuickCheck, et generate est une fonction de la version 1 de quickCheck. Dans la version 2 de quickCheck, les choses sont un peu différentes, donc il n'y a pas de telle fonction. Cependant, vous devez atleast importer Test.QuickCheck et des fonctionnalités similaires peuvent être obtenus à partir unGen comme ceci:

rundExpr gen = fmap (flip (unGen gen) 5) newStdGen 

S'il vous plaît noter que unGen est en Test.QuickCheck.Gen donc vous devez importer aussi.