b8e6e6c279dd8310ccdcf28280c6b58932f73eb99c74a716b8251662c14bed53

Download raw

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

Size: 420

Preview (limited to 512 bytes)

"{-# LANGUAGE DeriveGeneric, ScopedTypeVariables, TemplateHaskell #-}\n\nmodule Main where\n\nimport GHC.Generics (Generic)\nimport Test.QuickCheck\n\ndata Nat = Z | S Nat deriving (Eq, Show, Generic)\n\n\ninstance Arbitrary Nat where arbitrary = error \"not implemented\"\n\nprop_shrink =\n genericShrink (S (S Z)) === [S Z] .&&.\n genericShrink [0::Int] === [[]]\n\nreturn []\n\nmain :: IO ()\nmain = do True <- $quickCheckAll; return ()\n"

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