efbd08a30c488f2518e36cbcb90cfbacad773a214a5686cb7309e580a2c0e3b2

Download raw

Created: 2023-12-19 03:40:10.302489 UTC

Size: 694

Preview (limited to 512 bytes)

"{-# LANGUAGE TemplateHaskell, RecursiveDo #-}\nimport Test.QuickCheck\nimport Control.Monad.Fix\n\n-- A simple (not complete) test for the MonadFix instance.\ncyclicList :: Gen [Int]\ncyclicList = do\n rec xs <- fmap (:ys) arbitrary\n ys <- fmap (:xs) arbitrary\n return xs\n\nprop_cyclic :: Property\nprop_cyclic =\n forAll (Blind <$> cyclicList) $ \\(Blind xs) ->\n -- repeats with period 2\n and $ take 100 $ zipWith (==) xs (drop 2 xs)\n\nprop_period2 :: Property\nprop_period2 =\n expectFailure $\n forAll (Blind"

Casa is a service provided by the Haskell Foundation │ Originally developed by FP Complete