GHC.Definitions.TH

Documentation

data Config

Constructors

Config

Fields

• recordName :: String
• implicitName :: String
• constraintName :: String
• functionName :: String
• operatorTable :: [(Char, String)]

autoConfig :: String -> Config

defaultConfig :: Config

makeDefinitions :: [Name] -> Q [Dec]

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).

makeDefinitionsWithConfig :: Config -> [Name] -> Q [Dec]

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

makePattern :: String -> Name -> Q [Dec]

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