<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>TcHsSyn</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_TcHsSyn.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>ghc-6.12.3: The GHC API</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>TcHsSyn</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkHsConApp"
><A NAME="v%3AmkHsConApp"
></A
></A
><B
>mkHsConApp</B
> :: <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -> [<A HREF="Type.html#t%3AType"
>Type</A
>] -> [<A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkHsDictLet"
><A NAME="v%3AmkHsDictLet"
></A
></A
><B
>mkHsDictLet</B
> :: <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkHsApp"
><A NAME="v%3AmkHsApp"
></A
></A
><B
>mkHsApp</B
> :: <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> name -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> name -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> name</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hsLitType"
><A NAME="v%3AhsLitType"
></A
></A
><B
>hsLitType</B
> :: <A HREF="HsLit.html#t%3AHsLit"
>HsLit</A
> -> <A HREF="TcType.html#t%3ATcType"
>TcType</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hsLPatType"
><A NAME="v%3AhsLPatType"
></A
></A
><B
>hsLPatType</B
> :: <A HREF="HsPat.html#t%3AOutPat"
>OutPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hsPatType"
><A NAME="v%3AhsPatType"
></A
></A
><B
>hsPatType</B
> :: <A HREF="HsPat.html#t%3APat"
>Pat</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkHsAppTy"
><A NAME="v%3AmkHsAppTy"
></A
></A
><B
>mkHsAppTy</B
> :: <A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name -> <A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name -> <A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkSimpleHsAlt"
><A NAME="v%3AmkSimpleHsAlt"
></A
></A
><B
>mkSimpleHsAlt</B
> :: <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> id -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> id -> <A HREF="HsExpr.html#t%3ALMatch"
>LMatch</A
> id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nlHsIntLit"
><A NAME="v%3AnlHsIntLit"
></A
></A
><B
>nlHsIntLit</B
> :: <A HREF="../base-4.2.0.2/Prelude.html#t%3AInteger"
>Integer</A
> -> <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:shortCutLit"
><A NAME="v%3AshortCutLit"
></A
></A
><B
>shortCutLit</B
> :: <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
> -> <A HREF="TcType.html#t%3ATcType"
>TcType</A
> -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hsOverLitName"
><A NAME="v%3AhsOverLitName"
></A
></A
><B
>hsOverLitName</B
> :: <A HREF="HsLit.html#t%3AOverLitVal"
>OverLitVal</A
> -> <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkArbitraryType"
><A NAME="v%3AmkArbitraryType"
></A
></A
><B
>mkArbitraryType</B
> :: (<A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="TcRnTypes.html#t%3ATcRnIf"
>TcRnIf</A
> g l a) -> <A HREF="TcType.html#t%3ATcTyVar"
>TcTyVar</A
> -> <A HREF="TcRnTypes.html#t%3ATcRnIf"
>TcRnIf</A
> g l <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:TcId"
><A NAME="t%3ATcId"
></A
></A
><B
>TcId</B
> = <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:TcIdSet"
><A NAME="t%3ATcIdSet"
></A
></A
><B
>TcIdSet</B
> = <A HREF="VarSet.html#t%3AIdSet"
>IdSet</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:TcDictBinds"
><A NAME="t%3ATcDictBinds"
></A
></A
><B
>TcDictBinds</B
> = <A HREF="HsBinds.html#t%3ADictBinds"
>DictBinds</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zonkTopDecls"
><A NAME="v%3AzonkTopDecls"
></A
></A
><B
>zonkTopDecls</B
> :: <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
> -> [<A HREF="HsDecls.html#t%3ALRuleDecl"
>LRuleDecl</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
>] -> [<A HREF="HsDecls.html#t%3ALForeignDecl"
>LForeignDecl</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
>] -> <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> ([<A HREF="Var.html#t%3AId"
>Id</A
>], <A HREF="Bag.html#t%3ABag"
>Bag</A
> (<A HREF="HsBinds.html#t%3ALHsBind"
>LHsBind</A
> <A HREF="Var.html#t%3AId"
>Id</A
>), [<A HREF="HsDecls.html#t%3ALForeignDecl"
>LForeignDecl</A
> <A HREF="Var.html#t%3AId"
>Id</A
>], [<A HREF="HsDecls.html#t%3ALRuleDecl"
>LRuleDecl</A
> <A HREF="Var.html#t%3AId"
>Id</A
>])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zonkTopExpr"
><A NAME="v%3AzonkTopExpr"
></A
></A
><B
>zonkTopExpr</B
> :: <A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
> -> <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> (<A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zonkTopLExpr"
><A NAME="v%3AzonkTopLExpr"
></A
></A
><B
>zonkTopLExpr</B
> :: <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
> -> <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> (<A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zonkId"
><A NAME="v%3AzonkId"
></A
></A
><B
>zonkId</B
> :: <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
> -> <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zonkTopBndrs"
><A NAME="v%3AzonkTopBndrs"
></A
></A
><B
>zonkTopBndrs</B
> :: [<A HREF="TcHsSyn.html#t%3ATcId"
>TcId</A
>] -> <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> [<A HREF="Var.html#t%3AId"
>Id</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.6.1</TD
></TR
></TABLE
></BODY
></HTML
>
