QuickCheck을 사용하여 문자열 풀에서 임의의 문자열 생성

Question

일단 문자열을 선택하면 다시 반복 할 수 없도록 가능한 문자열 집합에서 문자열을 생성하는 문제를 고려하십시오. 이 작업을 위해 QuickCheck의 Gen 기능을 사용하고 싶습니다.

필자가 작성하려고하는 함수의 유형을 살펴보면 상태 모나드와 매우 유사하게 보입니다. 다른 모나드 즉, Gen을 상태 모나드에 사용하고 있습니다. 나는 StateT을 사용하여 나의 첫번째 시도를 썼다. 이 구현에 대해 나를 괴롭게

newtype GenState = St {getStrings :: [String]} 
    deriving (Show) 

removeString :: String -> GenState -> GenState 
removeString str (St xs) = St $ delete str xs 

stringGenS :: Gen (a, GenState) -> Gen (String, GenState) 
stringGenS genStSt = 
    genStSt >>= \(_, st) -> 
    elements (getStrings st) >>= \str -> 
    return (str, removeString str st) 

뭔가 내가 stringGenS의 첫 번째 요소를 사용하지 않는 사실이다 :

arbitraryStringS :: StateT GenState Gen String 
arbitraryStringS = 
    mapStateT stringGenS get 

. 둘째, 최종 목표는 JSON 값에 대한 임의의 생성기를 정의하는 것입니다.이 생성기는 리소스 풀 (문자열뿐 아니라)을 사용합니다. StateT를 사용하면 QuickCheck의 elements, listOf 등

내가 거기에 이것을 달성하는 더 좋은 방법, 또는 이러한 복잡성은 기존의 모나드의 상태 변종을 정의하는 고유인지 궁금 해서요의 "상태"변종을 구현하는 나를 이끌었다.

Answer 1

StateT 및 Gen의 조합은 다음과 같을 수 있습니다 :

import Control.Monad.State 
import Data.List (delete) 
import Test.QuickCheck 

-- A more efficient solution would be to use Data.Set. 
-- Even better, Data.Trie and ByteStrings: 
-- https://hackage.haskell.org/package/bytestring-trie-0.2.4.1/docs/Data-Trie.html 
newtype GenState = St { getStrings :: [String] } 
    deriving (Show) 

removeString :: String -> GenState -> GenState 
removeString str (St xs) = St $ delete str xs 

stringGenS :: StateT GenState Gen String 
stringGenS = do 
    s <- get 
    str <- lift $ elements (getStrings s) 
    modify $ removeString str 
    return str 

문제는 당신이 상태를 필요로하는 상태를 공유하면서, 당신은 Gen에서 여러 같은 계산을 실행할 수 있다는 것입니다. 할 수있는 유일한 합리적인 것은 유형 GenState -> Gen [String]이다

evalStateT (replicateM 10 stringGenS) 

로 (같은 상태를 사용하여) 함께 여러 임의의 고유 문자열을 생성하는 것입니다.