Safe Haskell	None
Language	Haskell2010

GHC.SourceGen.Expr

Description

This module provides combinators for constructing Haskell expressions.

Synopsis

overLabel :: String -> HsExpr'
let' :: [RawValBind] -> HsExpr' -> HsExpr'
case' :: HsExpr' -> [RawMatch] -> HsExpr'
lambda :: [Pat'] -> HsExpr' -> HsExpr'
lambdaCase :: [RawMatch] -> HsExpr'
if' :: HsExpr' -> HsExpr' -> HsExpr' -> HsExpr'
multiIf :: [GuardedExpr] -> HsExpr'
do' :: [Stmt'] -> HsExpr'
(@::@) :: HsExpr' -> HsType' -> HsExpr'
tyApp :: HsExpr' -> HsType' -> HsExpr'

Documentation

overLabel :: String -> HsExpr' Source #

An overloaded label, as used with the OverloadedLabels extension.

#foo
=====
overLabel "foo"

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

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

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

lambdaCase :: [RawMatch] -> HsExpr' Source #

if' :: HsExpr' -> HsExpr' -> HsExpr' -> HsExpr' Source #

multiIf :: [GuardedExpr] -> HsExpr' Source #

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' Source #

A do-expression.

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

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

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

A type constraint on an expression.

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

tyApp :: HsExpr' -> HsType' -> HsExpr' Source #

Explicit type application.

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