Использование монады Reader с QuickCheck/monadicIO

Question

Я хотел бы передать целое число в качестве аргумента CLI программе Haskell, которая использует QuickCheck/ monadicIO.Это целое число будет использоваться внутри assert сделать тесты настраиваемыми.Проблема в том, что как только я анализирую целочисленное значение в main, я не знаю, как передать его внутрь monadicIO позвонить, не используя что-то столь уродливое, как IORef.Я думаю, что элегантным решением может быть Reader монада, но я не смог найти решение, как заставить ее работать, так как quickCheck строг в своих аргументах.Есть идеи?

Позже Редактировать 1: По запросу я прилагаю фактический код, над которым я пытаюсь это сделать, но у меня ничего не получается.Закомментированные строки представляют мою неудачную попытку.Фон:набор тестов предназначен для проверки очень простой удаленной конечной точки, которая вычисляет SHA512 рандомизированных входных данных, сгенерированных QuickCheck.Удаленная конечная точка основана на Python/Flask.

Позже отредактируйте 2 в ответ на @user2407038: я мог бы сделать propHasExpectedLengthCeiling возьмите дополнительный аргумент типа Int, но quickCheck будет генерировать для него случайные значения, а это не то, чего я хочу.Моя цель — использовать maxSegmentLengthCeiling что я беру аргументы командной строки и использую их в let testPassed = actualMaxSegmentLength <= maxSegmentLengthCeiling внутри monadicIO блокировать.Прямо сейчас maxSegmentLengthCeiling указывается как значение верхнего уровня, а это означает, что мне придется перекомпилировать код каждый раз, когда я меняю значение.У меня пока нет кода, который включает в себя IORef потому что это крайняя мера, и суть моего вопроса в том, как избежать IORef маршрут.

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

Answer 1

Делать maxSegmentLengthCeiling параметр для propHasExpectedLengthCeiling :

propHasExpectedLengthCeiling :: Int -> CustomInput -> Property

и вызвать его как

main = do 
  [n] <- getArgs
  quickCheckWith customArgs (propHasExpectedLengthCeiling (read n))