18 Apr
2010
18 Apr
'10
3:03 p.m.
Wow, very cool! Thank you :)
This is so helpful I'm surprised it isn't part of QuickCheck. Why isn't it? Maybe it will be eventually. It would introduce some package dependencies though, and as the version number hints it's not exactly mature code.
2010/4/18 Duane Johnson
Wow, very cool! This is so helpful I'm surprised it isn't part of QuickCheck. Why isn't it? Regards, Duane Johnson On Apr 17, 2010, at 6:43 PM, Jonas Almström Duregård wrote:
{-#LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.AgataTH
data X a b = X [Either a b] deriving Show data Y = Y deriving Show data Z = Z deriving Show
$(agatath $ deriveall [''X,''Y,''Z])
main = sample (arbitrary :: Gen (X Y Z))