Data.API.TH

This module defines some utilities for working with Template Haskell, which may be useful for defining Tools, but should be considered internal implementation details of this package.

Documentation

applicativeE :: ExpQ -> [ExpQ] -> ExpQ

Construct an idiomatic expression (an expression in an Applicative context), i.e.

app ke []             = ke
app ke [e1,e2,...,en] = ke <$> e1 <*> e2 ... <*> en

optionalInstanceD :: ToolSettings -> Name -> [TypeQ] -> [DecQ] -> Q [Dec]

Add an instance declaration for a class, if such an instance does not already exist

funSigD :: Name -> TypeQ -> [ClauseQ] -> Q [Dec]

Construct a TH function with a type signature

simpleD :: Name -> ExpQ -> Q Dec

Construct a simple TH definition

simpleSigD :: Name -> TypeQ -> ExpQ -> Q [Dec]

Construct a simple TH definition with a type signature