Optics.TH.Internal.Utils

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.

Fill in kind variables using info from datatype type parameters.

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.

Transform TyVarBndr into a Type so it's suitable e.g. for freeVariablesWellScoped or type substitution.

Pass in a list of lists of extensions, where any of the given extensions will satisfy it. For example, you might need either GADTs or ExistentialQuantification, so you'd write:

requireExtensions [[GADTs, ExistentialQuantification]]

But if you need TypeFamilies and MultiParamTypeClasses, then you'd write:

requireExtensions [[TypeFamilies], [MultiParamTypeClasses]]