[Haskell-cafe] ANNOUNCE: Agata-0.2.0

[Jonas Almström Duregård]

> 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 <duane.johnson at gmail.com>:
> 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))
>
>