e2cedef53fa0dac7708334bd130b4ec3e80299e46e6cd29614e6115ffb734d3f

Download raw

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

Size: 602

Preview (limited to 512 bytes)

"{-# LANGUAGE DeriveGeneric, ScopedTypeVariables, TemplateHaskell #-}\n\nmodule Main where\n\nimport GHC.Generics (Generic)\nimport Test.QuickCheck\nimport Test.QuickCheck.Function\n\ndata D a = C1 a | C2 deriving (Eq, Show, Read, Generic)\n\n\ninstance Arbitrary a => Arbitrary (D a) where arbitrary = error \"not implemented\"\ninstance CoArbitrary a => CoArbitrary (D a)\n\ninstance (Show a, Read a) => Function (D a) where\n function = functionShow\n\nprop_coarbitrary (Fun _ f) =\n expectFailure $\n withMaxSuccess 1000 $\n f "

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