axiomatic-classes-0.1.0.0: Specify axioms for type classes and quickCheck all available instances

Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.AxiomaticClass

Documentation

substVars' :: (Name -> Maybe Type) -> Pred -> Pred Source #

substVars :: (Name -> Maybe Type) -> Type -> Type Source #

withInt :: Type -> Type Source #

quickCheckClasses :: [Name] -> ExpQ Source #

quickCheckClassesWith :: [Name] -> ExpQ Source #

quickCheckClassTests :: Name -> Q [ExpQ] Source #