Test.Target.TH

Documentation

type Error = forall a. String -> a

monomorphic :: Name -> ExpQ

Monomorphise an arbitrary property by defaulting all type variables to Integer.

For example, if f has type Ord a => [a] -> [a] then $(monomorphic 'f) has type [Integer] -> [Integer].

If you want to use monomorphic in the same file where you defined the property, the same scoping problems pop up as in quickCheckAll: see the note there about return [].

infoType :: Info -> Type

deconstructType :: Error -> Type -> Q ([Name], Cxt, Type)

monomorphiseType :: Error -> Type -> Type -> TypeQ