Language.Haskell.Tools.AST.Match.TH

Pattern matching on Template Haskell AST fragments for refactorings.

Documentation

pattern IdSplice :: forall dom. Name dom -> Splice dom

A simple name splice: $generateX

pattern ParenSplice :: forall dom. Expr dom -> Splice dom

A splice with parentheses: $(generate input)

pattern QuasiQuote :: forall dom. Name dom -> String -> QuasiQuote dom

Template haskell quasi-quotation: [quoter|str]

pattern ExprBracket :: forall dom. Expr dom -> Bracket dom

Expression bracket ( [| x + y |] )

pattern PatternBracket :: forall dom. Pattern dom -> Bracket dom

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

pattern TypeBracket :: forall dom. Type dom -> Bracket dom

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

pattern DeclsBracket :: forall dom. DeclList dom -> Bracket dom

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