スタティック（偽）ランダムジェネレータ

Question

RandomGen -reliant関数のテストのために、私はインスタンス化時に指示する数値を返すRandomGenインスタンスが必要です。これにより、テストされた関数の結果を正しいものと比較することができます。私。 randomへの各呼び出しで、次の番号をリスト[5, 8, 2, 6, 6]から返すようにします（最後に達するとエラーが発生することがあります）。私はその発電機のインスタンスが単にStaticGen [5, 8, 2, 6, 6]として作成されることを期待しています。

私はこのようなライブラリが存在するかどうか、私のテストでは別のアプローチをとるべきかどうか疑問に思っています。

更新時：randomの代わりにnext関数を指定して、質問から間違っていたことがわかりました。リストから値を返すようにしました。謝罪いたします。

Answer 1

このようなライブラリを配布することができます。しかし、それは非常に短いでしょう。

newtype StaticGen = StaticGen [Int] 
instance RandomGen StaticGen where 
    next (StaticGen (x:xs)) = (x, StaticGen xs) 
    next _ = error "No more random numbers!" 
    split x = (x, x)   -- broken, but irrelevant 
    genRange _ = (0, maxBound) -- choose your own 

まあ、これはあなたが合格シーケンスをあなたを与えることはありません述べたようにあなたの機能を書き換えるので、代わりにこのような乱数ジェネレータを取ることもできます。

myFunction :: RandomGen g => g -> a -> (b, g) 

彼らが働きます

myFunction :: forall g. (g -> (Int, g)) -> g -> a -> (b, g) 

あなたは乱数ジェネレータでそれを使うことができますこの方法：

の代わりに、このような

それとも、リストでそれを使用することができます。多分StdGen`がニーズに合うか `固定、` staticGen = mkStdGen 13`でテストし、新しい `RandomGen`インスタンスを作成する代わりに

myFunction (\(x:xs) -> (x, xs)) [1,2,3,4] a