Safe Haskell | None |
---|---|
Language | Haskell2010 |
Pattern matching on Template Haskell AST fragments for refactorings.
- pattern IdSplice :: forall dom. Name dom -> Splice dom
- pattern ParenSplice :: forall dom. Expr dom -> Splice dom
- pattern QuasiQuote :: forall dom. Name dom -> String -> QuasiQuote dom
- pattern ExprBracket :: forall dom. Expr dom -> Bracket dom
- pattern PatternBracket :: forall dom. Pattern dom -> Bracket dom
- pattern TypeBracket :: forall dom. Type dom -> Bracket dom
- pattern DeclsBracket :: forall dom. DeclList dom -> Bracket dom
Documentation
pattern ParenSplice :: forall dom. Expr dom -> Splice dom Source #
A splice with parentheses: $(generate input)
pattern QuasiQuote :: forall dom. Name dom -> String -> QuasiQuote dom Source #
Template haskell quasi-quotation: [quoter|str]
pattern ExprBracket :: forall dom. Expr dom -> Bracket dom Source #
Expression bracket ( [| x + y |]
)
pattern PatternBracket :: forall dom. Pattern dom -> Bracket dom Source #
Pattern bracket ( [p| Point x y |]
)
pattern TypeBracket :: forall dom. Type dom -> Bracket dom Source #
Type bracket ( [t| (Int,Int) |]
)
pattern DeclsBracket :: forall dom. DeclList dom -> Bracket dom Source #
Declaration bracket ( [d| f :: Int -> Int; f x = x*x |]
)