[Haskell-cafe] ANNOUNCE: Agata-0.2.0

Duane Johnson duane.johnson at gmail.com
Sun Apr 18 01:53:00 EDT 2010


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))

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100418/f4b06947/attachment.html


More information about the Haskell-Cafe mailing list