Modulehaskell-src-exts-1.23.1Haskell98

Language.Haskell.Exts.Build

This module contains combinators to use when building Haskell source trees programmatically, as opposed to parsing them from a string. The contents here are quite experimental and will likely receive a lot of attention when the rest has stabilised.

46 values

Packagehaskell-src-exts-1.23.1
Exports46
LanguageHaskell98
LicenceBSD-3-Clause
SourceBuild.hs

Syntax building functions

39 declarations

valuename :: String -> Name ()

An identifier with the given string as its name. The string should be a valid Haskell identifier.

valuesym :: String -> Name ()

A symbol identifier. The string should be a valid Haskell symbol identifier.

valuevar :: Name () -> Exp ()

A local variable as expression.

valueop :: Name () -> QOp ()

Use the given identifier as an operator.

valueqvar :: ModuleName () -> Name () -> Exp ()

A qualified variable as expression.

valuepvar :: Name () -> Pat ()

A pattern variable.

valueapp :: Exp () -> Exp () -> Exp ()

Application of expressions by juxtaposition.

valueinfixApp :: Exp () -> QOp () -> Exp () -> Exp ()

Apply an operator infix.

valueappFun :: Exp () -> [Exp ()] -> Exp ()

Apply a function to a list of arguments.

valuepApp :: Name () -> [Pat ()] -> Pat ()

A constructor pattern, with argument patterns.

valuetuple :: [Exp ()] -> Exp ()

A tuple expression.

valuepTuple :: [Pat ()] -> Pat ()

A tuple pattern.

valuevarTuple :: [Name ()] -> Exp ()

A tuple expression consisting of variables only.

valuepvarTuple :: [Name ()] -> Pat ()

A tuple pattern consisting of variables only.

valuefunction :: String -> Exp ()

A function with a given name.

valuestrE :: String -> Exp ()

A literal string expression.

valuecharE :: Char -> Exp ()

A literal character expression.

valueintE :: Integer -> Exp ()

A literal integer expression.

valuestrP :: String -> Pat ()

A literal string pattern.

valuecharP :: Char -> Pat ()

A literal character pattern.

valueintP :: Integer -> Pat ()

A literal integer pattern.

valuedoE :: [Stmt ()] -> Exp ()

A do block formed by the given statements. The last statement in the list should be a Qualifier expression.

valuelamE :: [Pat ()] -> Exp () -> Exp ()

Lambda abstraction, given a list of argument patterns and an expression body.

valueletE :: [Decl ()] -> Exp () -> Exp ()

A let ... in block.

valuecaseE :: Exp () -> [Alt ()] -> Exp ()

A case expression.

valuealt :: Pat () -> Exp () -> Alt ()

An unguarded alternative in a case expression.

valuealtGW :: Pat () -> [Stmt ()] -> Exp () -> Binds () -> Alt ()

An alternative with a single guard in a case expression.

valuelistE :: [Exp ()] -> Exp ()

A list expression.

valueeList :: Exp ()

The empty list expression.

valuepeList :: Pat ()

The empty list pattern.

valueparen :: Exp () -> Exp ()

Put parentheses around an expression.

valuepParen :: Pat () -> Pat ()

Put parentheses around a pattern.

valuequalStmt :: Exp () -> Stmt ()

A qualifier expression statement.

valuegenStmt :: Pat () -> Exp () -> Stmt ()

A generator statement: pat <- exp

valueletStmt :: [Decl ()] -> Stmt ()

A let binding group as a statement.

valuebinds :: [Decl ()] -> Binds ()

Hoist a set of declarations to a binding group.

valuenoBinds :: Maybe (Binds ())

An empty binding group.

valuewildcard :: Pat ()

The wildcard pattern: _

valuegenNames :: String -> Int -> [Name ()]

Generate k names by appending numbers 1 through k to a given string.

More advanced building

7 declarations

valuesfun :: Name () -> [Name ()] -> Rhs () -> Maybe (Binds ()) -> Decl ()

A function with a single clause

valuesimpleFun :: Name () -> Name () -> Exp () -> Decl ()

A function with a single clause, a single argument, no guards and no where declarations

valuepatBind :: Pat () -> Exp () -> Decl ()

A pattern bind where the pattern is a variable, and where there are no guards and no where clause.

valuepatBindWhere :: Pat () -> Exp () -> [Decl ()] -> Decl ()

A pattern bind where the pattern is a variable, and where there are no guards, but with a where clause.

valuenameBind :: Name () -> Exp () -> Decl ()

Bind an identifier to an expression.

valuemetaFunction :: String -> [Exp ()] -> Exp ()

Apply function of a given name to a list of arguments.

valuemetaConPat :: String -> [Pat ()] -> Pat ()

Apply a constructor of a given name to a list of pattern arguments, forming a constructor pattern.