Safe Haskell	None
Language	Haskell2010

Language.Haskell.Tools.AST.Stmts

Description

Representation of Haskell statements (both do-notation and comprehensions)

Synopsis

Documentation

data Stmt' expr dom stage Source #

Normal monadic statements

Constructors

BindStmt	Binding statement ( `x <- action` )
Fields _stmtPattern :: Ann Pattern dom stage _stmtExpr :: Ann expr dom stage
ExprStmt	Non-binding statement ( `action` )
Fields _stmtExpr :: Ann expr dom stage
LetStmt	Let statement ( `let x = 3; y = 4` )
Fields _stmtBinds :: AnnList LocalBind dom stage
RecStmt	A recursive binding statement with ( `rec b <- f a c; c <- f b a` )
Fields _cmdStmtBinds :: AnnList (Stmt' expr) dom stage

Instances

type Rep (Stmt' expr dom stage) Source #

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

Constructors

ListCompBody
Fields _compStmts :: AnnList CompStmt dom stage

Instances

type Rep (ListCompBody dom stage) Source #
type Rep (ListCompBody dom stage) = D1 (MetaData "ListCompBody" "Language.Haskell.Tools.AST.Stmts" "haskell-tools-ast-0.2.0.0-5y5XIph7fmGIUhHQZ35OfD" False) (C1 (MetaCons "ListCompBody" PrefixI True) (S1 (MetaSel (Just Symbol "_compStmts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AnnList CompStmt dom stage))))

data CompStmt dom stage Source #

List comprehension statement

Constructors

CompStmt	Normal monadic statement of a list comprehension
Fields _compStmt :: Ann Stmt dom stage
ThenStmt	Then statements by `TransformListComp` ( `then sortWith by (x + y)` )
Fields _thenExpr :: Ann Expr dom stage _byExpr :: AnnMaybe Expr dom stage
GroupStmt	Grouping statements by `TransformListComp` ( `then group by (x + y) using groupWith` ) Note: either byExpr or usingExpr must have a value
Fields _byExpr :: AnnMaybe Expr dom stage _usingExpr :: AnnMaybe Expr dom stage

Instances

type Rep (CompStmt dom stage) Source #