Agata-0.2.1.1: Generator-generator for QuickCheck

Safe HaskellNone

Test.AgataTH

Documentation

agatath :: Derivation -> Q [Dec]Source

derive :: Name -> DerivationSource

deriveall :: [Name] -> DerivationSource

data DerivOption Source

Constructors

Inline Name 
NoArbitrary 

Instances

(<++>) :: Derivation -> DerivOption -> DerivationSource

echoAgata :: String -> Name -> Q [Dec]Source

module Test.Agata

module Test.QuickCheck