Language.Haskell.Tools.AST.Gen.TH

Generation of Template Haskell AST fragments for refactorings.

Documentation

mkIdSplice :: Name dom -> Splice dom

A simple name splice: $generateX

mkParenSplice :: Expr dom -> Splice dom

A splice with parentheses: $(generate input)

mkQuasiQuote :: Name dom -> String -> QuasiQuote dom

Template haskell quasi-quotation: [quoter|str]

mkExprBracket :: Expr dom -> Bracket dom

Expression bracket ( [| x + y |] )

mkPatternBracket :: Pattern dom -> Bracket dom

Pattern bracket ( [p| Point x y |] )

mkTypeBracket :: Type dom -> Bracket dom

Type bracket ( [t| (Int,Int) |] )

mkDeclsBracket :: [Decl dom] -> Bracket dom

Declaration bracket ( [d| f :: Int -> Int; f x = x*x |] )