GHC.SourceGen.Expr

This module provides combinators for constructing Haskell expressions.

Documentation

type HsExpr' = HsExpr GhcPs

A Haskell expression, as it is represented after the parsing step.

Instances:

• BVar
• Var
• Par
• App
• HasTuple
• HasList
• HasLit

overLabel :: String -> HsExpr'

An overloaded label, as used with the OverloadedLabels extension.

#foo
=====
overLabel "foo"

let' :: [RawValBind] -> HsExpr' -> HsExpr'

case' :: HsExpr' -> [RawMatch] -> HsExpr'

lambda :: [Pat'] -> HsExpr' -> HsExpr'

lambdaCase :: [RawMatch] -> HsExpr'

if' :: HsExpr' -> HsExpr' -> HsExpr' -> HsExpr'

multiIf :: [GuardedExpr] -> HsExpr'

A MultiWayIf expression.

if | f x = "f"
   | g x = "g"
   | otherwise = "h"
=====
multiIf
    [ guardedStmt (var "f" @@ var "x") $ rhs (string "f")
    , guardedStmt (var "g" @@ var "x") $ rhs (string "g")
    , guardedStmt (var "otherwise") $ rhs (string "h")
    ]

do' :: [Stmt'] -> HsExpr'

A do-expression.

Individual statements may be constructed with <-- and/or stmt.

do
  x <- act
  return x
=====
do' [bvar "x" <-- var "act", stmt $ var "return" @@ var "x"]

type Stmt' = Stmt GhcPs (Located HsExpr')

(@::@) :: HsExpr' -> HsType' -> HsExpr'

A type constraint on an expression.

e :: t
=====
var "e" @::@ var "t"

tyApp :: HsExpr' -> HsType' -> HsExpr'

Explicit type application.

f @ Int
=====
var "f" @@ var "Int"

recordConE :: RdrNameStr -> [(RdrNameStr, HsExpr')] -> HsExpr'

Constructs a record with explicit field names.

A { x = y }
=====
recordConE "A" [("x", var "y")]

recordUpd :: HsExpr' -> [(RdrNameStr, HsExpr')] -> HsExpr'

Updates a record expression with explicit field names.

r {a = b, c = d}
=====
recordUpd (var "x") [("a", var "b", ("c", var "d"))]

(f x) {a = b}
=====
recordUpd (var "f" @@ var "x") [("a", var "b")]

f x {a = b} -- equivalent to f (x {a = b})
=====
var "f" @@ recordUpd (var "x") [("a", var "b")]