IO を使用する SmallCheck プロパティを作成したいのですが、どうすればよいかわかりません。具体的には、 のインスタンスであるプロパティを記述して、に(またはに)Testable IO Boolフィードできるようにすることが目標です。残念ながら、私が思いつくことができる最高のものは次のとおりです。smallChecktestPropertytest-framework
smallCheck 5 (\(x :: Int) → return True :: IO Bool)
Testable IO (IO Bool)ではなくのインスタンスであるため、これは機能しませんが、Testable IO Bool機能するように書き換える方法がわかりません。
どんな助けでも大歓迎です。
monadicコンビネータが必要です。任意のモナドを取り、それをのインスタンスであるmにラップします。PropertyTestable
smallCheck 5 $ \(x :: Int) -> monadic $ (return True :: IO Bool)
私が望んでいたことを正確に行う関数があることがわかりました：
monadic :: Testable m a => m a -> Property m
次のように使用します。
smallCheck 5 $ \(x :: Int) → monadic (putStrLn (show x) >> return True)
具体的には、関数の引数の後monadicにネストする必要があることに注意してください。