Language.Haskell.Tools.AST.Match.Stmts

UPattern matching on statement-level AST fragments for refactorings.

Do-notation

pattern BindStmt :: forall dom. Pattern dom -> Expr dom -> Stmt dom

Binding statement ( x <- action )

pattern ExprStmt :: forall dom. Expr dom -> Stmt dom

Non-binding statement ( action )

pattern LetStmt :: forall dom. LocalBindList dom -> Stmt dom

Let statement ( let x = 3; y = 4 )

pattern RecStmt :: forall dom. StmtList dom -> Stmt dom

A recursive binding statement with ( rec b <- f a c; c <- f b a )

pattern DoKeyword :: forall dom. DoKind dom

pattern MDoKeyword :: forall dom. DoKind dom

List comprehensions

pattern ListCompBody :: forall dom. CompStmtList dom -> ListCompBody dom

Body of a list comprehension: ( | x <- [1..10] )

pattern CompStmt :: forall dom. Stmt dom -> CompStmt dom

Normal monadic statement of a list comprehension

pattern ThenStmt :: forall dom. Expr dom -> MaybeExpr dom -> CompStmt dom

Then statements by TransformListComp ( then sortWith by (x + y) )

pattern GroupStmt :: forall dom. MaybeExpr dom -> MaybeExpr dom -> CompStmt dom

Grouping statements by TransformListComp ( then group by (x + y) using groupWith )

Commands

pattern BindStmtCmd :: forall dom. Pattern dom -> Cmd dom -> CmdStmt dom

Binding statement command ( x <- action )

pattern ExprStmtCmd :: forall dom. Cmd dom -> CmdStmt dom

Non-binding statement command ( action )

pattern LetStmtCmd :: forall dom. LocalBindList dom -> CmdStmt dom

Let statement command ( let x = 3; y = 4 )

pattern RecStmtCmd :: forall dom. CmdStmtList dom -> CmdStmt dom

A recursive binding statement command with ( rec b <- f a c; c <- f b a )