quickcheck（Haskell）で 'oneof'を使用する方法

Question

私は数独を変えてそれがまだ有効であるかどうかを調べるために小道具を書こうとしています。

しかし、 "oneof"関数を正しく使用する方法がわかりません。あなたは私にいくつかのヒントをくれますか？ここで

prop_candidates :: Sudoku -> Bool 
prop_candidates su = isSudoku newSu && isOkay newSu 
    where 
     newSu  = update su aBlank aCandidate 
     aCandidate = oneof [return x | x <- candidates su aBlank] 
     aBlank  = oneof [return x | x <- (blanks su)] 

は、いくつかのより多くの情報が...

type Pos = (Int, Int) 
update :: Sudoku -> Pos -> Maybe Int -> Sudoku 
blanks :: Sudoku -> [Pos] 
candidates :: Sudoku -> Pos -> [Int] 
[return x | x <- (blanks example)] :: (Monad m) => [m Pos] 

私は今、3時間この小道具でstruggeledているので、任意のアイデアを歓迎します！

Answer 1

私がで運転していたことは、あなたがタイプミックスアップを持っているということです。つまりaBlankはPosではありませんが、Gen Posなのでupdate su aBlank aCandidateは意味がありません！実際、あなたが望むのは、最初のスドクを与えられた新しいスドクを生成する方法です。つまり機能

similarSudoku :: Sudoku -> Gen Sudoku 

で今、私たちはそれを書くことができます。

similarSudoku su = do aBlank <- elements (blanks su) 
         -- simpler than oneOf [return x | x <- blanks su] 
         aCandidate <- elements (candidates su aBlank) 
         return (update su aBlank aCandidate) 

またはさらに簡単：

similarSudoku su = liftM2 (update su) (elements (blanks su)) (elements (candidates su aBlank)) 

とプロパティがありますので

prop_similar :: Sudoku -> Gen Bool 
prop_similar su = do newSu <- similarSudoku su 
        return (isSudoku newSu && isOkay newSu) 

のように見えますインスタンス

Testable Bool 
Testable prop => Testable (Gen prop) 
(Arbitrary a, Show a, Testable prop) => Testable (a -> prop) 

Sudoku -> Gen Bool（instance Arbitrary Sudokuを想定）もTestableあります。

Answer 2

私のブログでは、oneofを使用して面白いロールを生成するQuickCheckテストでsimple craps simulatorを書きました。

は、我々は、単一の行の超簡単な数独を持って言う：

module Main where 
import Control.Monad 
import Data.List 
import Test.QuickCheck 
import Debug.Trace 

type Pos = Int 
data Sudoku = Sudoku [Char] deriving (Show) 

んが、超簡単な数独は、値を繰り返さなかったはずです。

prop_noRepeats :: Sudoku -> Bool 
prop_noRepeats s@(Sudoku xs) = 
    trace (show s) $ all ((==1) . length) $ 
        filter ((/='.') . head) $ 
        group $ sort xs 

あなたがして、超簡単な数独を生成することがあります

instance Arbitrary Sudoku where 
    arbitrary = sized board :: Gen Sudoku 
    where board :: Int -> Gen Sudoku 
      board 0 = Sudoku `liftM` shuffle values 
      board n | n > 6 = resize 6 arbitrary 
        | otherwise = 
         do xs <- shuffle values 
         let removed = take n xs 
          dots = take n $ repeat '.' 
          remain = values \\ removed 
         ys <- shuffle $ dots ++ remain 
         return $ Sudoku ys 

      values = ['1' .. '9'] 

      shuffle :: (Eq a) => [a] -> Gen [a] 
      shuffle [] = return [] 
      shuffle xs = do x <- oneof $ map return xs 
          ys <- shuffle $ delete x xs 
          return (x:ys) 

traceは、ランダムに生成されたイノシシDSは：

*Main> quickCheck prop_noRepeats 
Sudoku "629387451" 
Sudoku "91.235786" 
Sudoku "1423.6.95" 
Sudoku "613.4..87" 
Sudoku "6..5..894" 
Sudoku "7.2..49.." 
Sudoku "24....1.." 
[...] 
+++ OK, passed 100 tests. 

Answer 3

それはcandidates :: Sudoku -> Pos -> [Int]の引数として使用されている方法と一致しないことaBlank :: Gen Posです。

私はGen aをaに変換する方法を見つけるためにhereを探していましたが、候補者と一緒に使うことができます。最高の私が見ることができるgenerate機能です。

は、私は何かが欠けていた場合を教えてください...