Language.Haskell.Tools.Rewrite.Match.TH

Pattern matching on Template Haskell AST fragments for refactorings.

Documentation

pattern IdSplice :: Name -> Splice

A simple name splice: $generateX

pattern ParenSplice :: Expr -> Splice

A splice with parentheses: $(generate input)

pattern QuasiQuote :: Name -> String -> QuasiQuote

Template haskell quasi-quotation: [quoter|str]

pattern ExprBracket :: Expr -> Bracket

Expression bracket ( [| x + y |] )

pattern PatternBracket :: Pattern -> Bracket

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

pattern TypeBracket :: Type -> Bracket

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

pattern DeclsBracket :: DeclList -> Bracket

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