Usando o leitor mônada com QuickCheck / monadicIO
-
21-12-2019 - |
Pergunta
Gostaria de passar um número inteiro como argumento CLI para um programa Haskell que faz uso de QuickCheck/ monadicIO
.Esse número inteiro será usado dentro do assert
para tornar os testes personalizáveis.O problema é que depois de analisar o valor inteiro em main
, não sei como passar dentro do monadicIO
ligar sem usar algo tão feio como um IORef
.Eu pensaria que uma solução elegante poderia ser a Reader
mônada, mas não consegui encontrar uma solução para fazê-lo funcionar, visto como quickCheck
é rígido em seus argumentos.Alguma ideia?
Edição posterior 1: Conforme solicitado, estou anexando o código real em que estou tentando e não consigo.As linhas comentadas representam minha tentativa fracassada.Fundo:o conjunto de testes tem como objetivo exercitar um endpoint remoto muito simples que calcula o SHA512 da entrada aleatória gerada pelo QuickCheck.O endpoint remoto é baseado em Python/Flask.
Posteriormente, edição 2 em resposta a @user2407038: eu poderia fazer propHasExpectedLengthCeiling
pegue um argumento adicional do tipo Int, mas quickCheck
geraria valores aleatórios para isso, e não é isso que eu quero que aconteça.Meu objetivo é usar o maxSegmentLengthCeiling
que estou extraindo dos argumentos da linha de comando e uso-o em let testPassed = actualMaxSegmentLength <= maxSegmentLengthCeiling
dentro do monadicIO
bloquear.Agora mesmo maxSegmentLengthCeiling
é especificado como um valor de nível superior, o que significa que preciso recompilar o código sempre que alterar o valor.Ainda não tenho nenhum código que envolva IORef
porque esse é o último recurso e a essência da minha pergunta é como evitar ir ao IORef
rota.
import qualified Data.ByteString.Lazy.Char8 as LC
import Control.Applicative ( (<$>) )
import Data.Function ( on )
import Data.List ( groupBy )
import Data.Char ( isDigit )
--import Safe ( headMay
-- , readMay
-- )
--import System.Environment ( getArgs )
import Network.HTTP.Conduit ( simpleHttp )
import Test.QuickCheck ( Arbitrary
, Property
, arbitrary
, choose
, frequency
, quickCheckWith
, stdArgs
, vectorOf
)
import Test.QuickCheck.Test ( Args
, maxSuccess
)
import Test.QuickCheck.Monadic ( assert
, monadicIO
, run
)
newtype CustomInput = MkCustomInput String deriving Show
instance Arbitrary CustomInput where
arbitrary =
let
genCustomInput = vectorOf 20
$ frequency [ (26, choose ('0','9'))
, (10, choose ('a','z'))
]
in
MkCustomInput <$> genCustomInput
maxSegmentLengthCeiling :: Int
maxSegmentLengthCeiling = 22
urlPrefix :: String
urlPrefix = "http://192.168.2.3:5000/sha512sum/"
propHasExpectedLengthCeiling :: CustomInput -> Property
propHasExpectedLengthCeiling (MkCustomInput input) = monadicIO $ do
testPassed <- run $ do
response <- simpleHttp $ urlPrefix ++ input
let stringResponse = LC.unpack response
let brokenDownStringResponse = groupBy ( (==) `on` isDigit ) stringResponse
let actualMaxSegmentLength = maximum $ map length brokenDownStringResponse
let testPassed = actualMaxSegmentLength <= maxSegmentLengthCeiling
putStrLn ""
putStrLn ""
putStrLn $ "Input: " ++ input
putStrLn $ "Control sum: " ++ stringResponse
putStrLn $ "Breakdown: " ++ show brokenDownStringResponse
putStrLn $ "Max. length: " ++ show actualMaxSegmentLength
putStrLn $ "Ceiling: " ++ show maxSegmentLengthCeiling
putStrLn $ "Test result: " ++ if testPassed then "Pass" else "Fail"
putStrLn ""
putStrLn ""
return testPassed
assert $ testPassed
customArgs :: Args
customArgs = stdArgs { maxSuccess = 1000000 }
--readMayAsInt :: String -> Maybe Int
--readMayAsInt = readMay
main :: IO ()
main =
--main = do
-- cliArgs <- getArgs
-- let ceilingInputMay = headMay cliArgs >>= readMayAsInt
-- maxSegmentLengthCeiling <- case ceilingInputMay of
-- (Just lengthCeiling) -> return lengthCeiling
-- Nothing -> error "No valid number given"
quickCheckWith
customArgs
propHasExpectedLengthCeiling
Solução
Fazer maxSegmentLengthCeiling
um parâmetro para propHasExpectedLengthCeiling
:
propHasExpectedLengthCeiling :: Int -> CustomInput -> Property
e invocá-lo como
main = do
[n] <- getArgs
quickCheckWith customArgs (propHasExpectedLengthCeiling (read n))