Как использовать 'oneof' в QuickCheck (Haskell)
-
11-09-2019 - |
Вопрос
Я пытаюсь написать пропозицию, которая изменяет судоку, а затем проверяет, действительно ли оно по-прежнему.
Однако я не уверен, как правильно использовать функцию "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 часа, так что любые идеи приветствуются!
Решение
Я имел в виду, что у вас путаница типов.А именно, 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
является Testable
также (при условии, что instance Arbitrary Sudoku
).
Другие советы
В своем блоге я написал простой симулятор игры в кости с помощью тестов QuickCheck, которые используют oneof
для создания интересных роликов.
Допустим, у нас есть суперпростое судоку из одной строки:
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
есть ли возможность показать случайно сгенерированные доски объявлений:
*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.
Кажется, что aBlank :: Gen Pos
что не соответствует тому, как оно используется в качестве аргумента candidates :: Sudoku -> Pos -> [Int]
.
я просматривал здесь найти способ конвертировать Gen a
к a
что позволит вам использовать его с кандидатами.Лучшее, что я мог видеть, это generate
функция.
Скажите, если я что-то упустил...