About

Metadata

  • Last updated , by DanielSchuessler
  • License BSD-3-Clause
  • Categories Template Haskell
  • Maintained by: daniels@community.haskell.org

  • Lottery factor: 0

Links

Installation

Readme

The main feature here is implicit conversion of arguments to AST constructors: Tired of writing things like

valD (varP (mkName "foo")) (normalB (appE (varE 'not) (conT 'True))) []

? With th-build:

valD' "foo" (appE' 'not 'True) ()

Hint: Use () for an empty list argument to an autoconverting function, since [] will yield an type ambiguity error.