Documentation

Given a list of names names, makeDefinitions constructs the following:

1. A constraint Definitions.
2. A function findDefinitions ∷ TcPluginM (Dict Definitions)
3. For each name ∈ names, a function name⟨type⟩ ∷ Definitions ⇒ ⟨type⟩, where ⟨type⟩ is determined by whatever name refers to, i.e. a data constructor (DataCon), function or value (Var), or type constructor (TyCon).

Like makeDefinitions, but allows some control over the generated names.

Constructs a pattern synonym for a given TyCon, DataCon, or Var.