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.

Return Name contained in a TyVarBndr.

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.