Documentation

Apply arguments to a type constructor

Apply arguments to a function

Construct a tuple type given a list of types.

Construct a tuple value given a list of expressions.

Construct a tuple pattern given a list of patterns.

Apply arguments to a type constructor.

Generate many new names from a given base name.

Decompose an applied type into its individual components. For example, this:

Either Int Char

would be unfolded to this:

(ConT ''Either, [ConT ''Int, ConT ''Char])

This function ignores explicit parentheses and visible kind applications.

Template Haskell wants type variables declared in a forall, so we find all free type variables in a given type and declare them.

This function works like quantifyType except that it takes a list of variables to exclude from quantification.

Convert a TyVarBndr into its corresponding Type.

Peel off a kind signature from a Type (if it has one).