Safe Haskell | None |
---|---|
Language | Haskell2010 |
UPattern matching on statement-level AST fragments for refactorings.
Synopsis
- pattern BindStmt :: Pattern -> Expr -> Stmt
- pattern ExprStmt :: Expr -> Stmt
- pattern LetStmt :: LocalBindList -> Stmt
- pattern RecStmt :: StmtList -> Stmt
- pattern DoKeyword :: DoKind
- pattern MDoKeyword :: DoKind
- pattern ListCompBody :: CompStmtList -> ListCompBody
- pattern CompStmt :: Stmt -> CompStmt
- pattern ThenStmt :: Expr -> MaybeExpr -> CompStmt
- pattern GroupStmt :: MaybeExpr -> MaybeExpr -> CompStmt
- pattern BindStmtCmd :: Pattern -> Cmd -> CmdStmt
- pattern ExprStmtCmd :: Cmd -> CmdStmt
- pattern LetStmtCmd :: LocalBindList -> CmdStmt
- pattern RecStmtCmd :: CmdStmtList -> CmdStmt
Do-notation
pattern LetStmt :: LocalBindList -> Stmt Source #
Let statement ( let x = 3; y = 4
)
pattern RecStmt :: StmtList -> Stmt Source #
A recursive binding statement with ( rec b <- f a c; c <- f b a
)
pattern MDoKeyword :: DoKind Source #
List comprehensions
pattern ListCompBody :: CompStmtList -> ListCompBody Source #
Body of a list comprehension: ( | x <- [1..10]
)
pattern ThenStmt :: Expr -> MaybeExpr -> CompStmt Source #
Then statements by TransformListComp
( then sortWith by (x + y)
)
pattern GroupStmt :: MaybeExpr -> MaybeExpr -> CompStmt Source #
Grouping statements by TransformListComp
( then group by (x + y) using groupWith
)
Commands
pattern ExprStmtCmd :: Cmd -> CmdStmt Source #
Non-binding statement command ( action
)
pattern LetStmtCmd :: LocalBindList -> CmdStmt Source #
Let statement command ( let x = 3; y = 4
)
pattern RecStmtCmd :: CmdStmtList -> CmdStmt Source #
A recursive binding statement command with ( rec b <- f a c; c <- f b a
)