<!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
>HsBinds</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_HsBinds.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"
>HsBinds</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AHsLocalBinds"
>HsLocalBinds</A
> id = <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> id id</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AHsValBinds"
>HsValBinds</A
> (<A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> idL idR)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AHsIPBinds"
>HsIPBinds</A
> (<A HREF="HsBinds.html#t%3AHsIPBinds"
>HsIPBinds</A
> idR)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AEmptyLocalBinds"
>EmptyLocalBinds</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AHsValBinds"
>HsValBinds</A
> id = <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> id id</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AHsValBindsLR"
>HsValBindsLR</A
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AValBindsIn"
>ValBindsIn</A
> (<A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR) [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> idR]</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AValBindsOut"
>ValBindsOut</A
> [(<A HREF="BasicTypes.html#t%3ARecFlag"
>RecFlag</A
>, <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> idL)] [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> <A HREF="Name.html#t%3AName"
>Name</A
>]</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALHsBinds"
>LHsBinds</A
> id = <A HREF="Bag.html#t%3ABag"
>Bag</A
> (<A HREF="HsBinds.html#t%3ALHsBind"
>LHsBind</A
> id)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADictBinds"
>DictBinds</A
> id = <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> id</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALHsBind"
>LHsBind</A
> id = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AHsBind"
>HsBind</A
> id)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AHsBind"
>HsBind</A
> id = <A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> id id</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALHsBindLR"
>LHsBindLR</A
> idL idR = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> idL idR)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR = <A HREF="Bag.html#t%3ABag"
>Bag</A
> (<A HREF="HsBinds.html#t%3ALHsBindLR"
>LHsBindLR</A
> idL idR)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AHsBindLR"
>HsBindLR</A
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AFunBind"
>FunBind</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Afun_id"
>fun_id</A
> :: <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> idL</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Afun_infix"
>fun_infix</A
> :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Afun_matches"
>fun_matches</A
> :: <A HREF="HsExpr.html#t%3AMatchGroup"
>MatchGroup</A
> idR</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Afun_co_fn"
>fun_co_fn</A
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Abind_fvs"
>bind_fvs</A
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Afun_tick"
>fun_tick</A
> :: <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
>, [idR])</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3APatBind"
>PatBind</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Apat_lhs"
>pat_lhs</A
> :: <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> idL</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Apat_rhs"
>pat_rhs</A
> :: <A HREF="HsExpr.html#t%3AGRHSs"
>GRHSs</A
> idR</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Apat_rhs_ty"
>pat_rhs_ty</A
> :: <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Abind_fvs"
>bind_fvs</A
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AVarBind"
>VarBind</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Avar_id"
>var_id</A
> :: idL</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Avar_rhs"
>var_rhs</A
> :: <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> idR</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AAbsBinds"
>AbsBinds</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aabs_tvs"
>abs_tvs</A
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>]</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aabs_dicts"
>abs_dicts</A
> :: [<A HREF="Var.html#t%3ADictId"
>DictId</A
>]</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aabs_exports"
>abs_exports</A
> :: [([<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>], idL, idL, [<A HREF="HsBinds.html#t%3ALPrag"
>LPrag</A
>])]</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aabs_binds"
>abs_binds</A
> :: <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> idL</TD
></TR
></TABLE
>}</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AplaceHolderNames"
>placeHolderNames</A
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprValBindsForUser"
>pprValBindsForUser</A
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> id2) => <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> id2] -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprLHsBinds"
>pprLHsBinds</A
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AemptyLocalBinds"
>emptyLocalBinds</A
> :: <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisEmptyLocalBinds"
>isEmptyLocalBinds</A
> :: <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> a b -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisEmptyValBinds"
>isEmptyValBinds</A
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AemptyValBindsOut"
>emptyValBindsOut</A
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AemptyValBindsIn"
>emptyValBindsIn</A
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AemptyLHsBinds"
>emptyLHsBinds</A
> :: <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisEmptyLHsBinds"
>isEmptyLHsBinds</A
> :: <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AplusHsValBinds"
>plusHsValBinds</A
> :: <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a -> <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a -> <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Appr_monobind"
>ppr_monobind</A
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> idL idR -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprTicks"
>pprTicks</A
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AHsIPBinds"
>HsIPBinds</A
> id = <A HREF="#v%3AIPBinds"
>IPBinds</A
> [<A HREF="HsBinds.html#t%3ALIPBind"
>LIPBind</A
> id] (<A HREF="HsBinds.html#t%3ADictBinds"
>DictBinds</A
> id)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisEmptyIPBinds"
>isEmptyIPBinds</A
> :: <A HREF="HsBinds.html#t%3AHsIPBinds"
>HsIPBinds</A
> id -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALIPBind"
>LIPBind</A
> id = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AIPBind"
>IPBind</A
> id)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AIPBind"
>IPBind</A
> id = <A HREF="#v%3AIPBind"
>IPBind</A
> (<A HREF="BasicTypes.html#t%3AIPName"
>IPName</A
> id) (<A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> id)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AHsWrapper"
>HsWrapper</A
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AWpHole"
>WpHole</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpCompose"
>WpCompose</A
> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpCast"
>WpCast</A
> <A HREF="Coercion.html#t%3ACoercion"
>Coercion</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpApp"
>WpApp</A
> <A HREF="Var.html#t%3AVar"
>Var</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpTyApp"
>WpTyApp</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpLam"
>WpLam</A
> <A HREF="Var.html#t%3AVar"
>Var</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpTyLam"
>WpTyLam</A
> <A HREF="Var.html#t%3ATyVar"
>TyVar</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpInline"
>WpInline</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AWpLet"
>WpLet</A
> (<A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> <A HREF="Var.html#t%3AId"
>Id</A
>)</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprHsWrapper"
>pprHsWrapper</A
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3C.%3E"
>(<.>)</A
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkWpTyApps"
>mkWpTyApps</A
> :: [<A HREF="Type.html#t%3AType"
>Type</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkWpApps"
>mkWpApps</A
> :: [<A HREF="Var.html#t%3AVar"
>Var</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkWpTyLams"
>mkWpTyLams</A
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmkWpLams"
>mkWpLams</A
> :: [<A HREF="Var.html#t%3AVar"
>Var</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Amk_co_fn"
>mk_co_fn</A
> :: (a -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
>) -> [a] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AidHsWrapper"
>idHsWrapper</A
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisIdHsWrapper"
>isIdHsWrapper</A
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALSig"
>LSig</A
> name = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3ASig"
>Sig</A
> name </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ATypeSig"
>TypeSig</A
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AIdSig"
>IdSig</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AFixSig"
>FixSig</A
> (<A HREF="HsBinds.html#t%3AFixitySig"
>FixitySig</A
> name)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AInlineSig"
>InlineSig</A
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASpecSig"
>SpecSig</A
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name) <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASpecInstSig"
>SpecInstSig</A
> (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name)</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALFixitySig"
>LFixitySig</A
> name = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AFixitySig"
>FixitySig</A
> name)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AFixitySig"
>FixitySig</A
> name = <A HREF="#v%3AFixitySig"
>FixitySig</A
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) <A HREF="BasicTypes.html#t%3AFixity"
>Fixity</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALPrag"
>LPrag</A
> = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> <A HREF="HsBinds.html#t%3APrag"
>Prag</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3APrag"
>Prag</A
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AInlinePrag"
>InlinePrag</A
> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASpecPrag"
>SpecPrag</A
> (<A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>) <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisInlinePrag"
>isInlinePrag</A
> :: <A HREF="HsBinds.html#t%3APrag"
>Prag</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisSpecPrag"
>isSpecPrag</A
> :: <A HREF="HsBinds.html#t%3APrag"
>Prag</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AokBindSig"
>okBindSig</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AokHsBootSig"
>okHsBootSig</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AokClsDclSig"
>okClsDclSig</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AokInstDclSig"
>okInstDclSig</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsigForThisGroup"
>sigForThisGroup</A
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
> -> <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsigName"
>sigName</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> name</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AsigNameNoLoc"
>sigNameNoLoc</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> name</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisFixityLSig"
>isFixityLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisVanillaLSig"
>isVanillaLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisTypeLSig"
>isTypeLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisSpecLSig"
>isSpecLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisSpecInstLSig"
>isSpecInstLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisPragLSig"
>isPragLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisInlineLSig"
>isInlineLSig</A
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AhsSigDoc"
>hsSigDoc</A
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AeqHsSig"
>eqHsSig</A
> :: <A HREF="../base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> a => <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> a -> <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Appr_sig"
>ppr_sig</A
> :: <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> name => <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApragBrackets"
>pragBrackets</A
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprVarSig"
>pprVarSig</A
> :: (<A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id, <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> ty) => id -> ty -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprSpec"
>pprSpec</A
> :: (<A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id, <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> ty) => id -> ty -> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprPrag"
>pprPrag</A
> :: <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id => id -> <A HREF="HsBinds.html#t%3ALPrag"
>LPrag</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
></TABLE
></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"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:HsLocalBinds"
><A NAME="t%3AHsLocalBinds"
></A
></A
><B
>HsLocalBinds</B
> id = <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> id id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:HsLocalBindsLR"
><A NAME="t%3AHsLocalBindsLR"
></A
></A
><B
>HsLocalBindsLR</B
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:HsValBinds"
><A NAME="v%3AHsValBinds"
></A
></A
><B
>HsValBinds</B
> (<A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> idL idR)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:HsIPBinds"
><A NAME="v%3AHsIPBinds"
></A
></A
><B
>HsIPBinds</B
> (<A HREF="HsBinds.html#t%3AHsIPBinds"
>HsIPBinds</A
> idR)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:EmptyLocalBinds"
><A NAME="v%3AEmptyLocalBinds"
></A
></A
><B
>EmptyLocalBinds</B
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsLocalBindsLR')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsLocalBindsLR" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> idL idR)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:HsValBinds"
><A NAME="t%3AHsValBinds"
></A
></A
><B
>HsValBinds</B
> id = <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> id id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:HsValBindsLR"
><A NAME="t%3AHsValBindsLR"
></A
></A
><B
>HsValBindsLR</B
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ValBindsIn"
><A NAME="v%3AValBindsIn"
></A
></A
><B
>ValBindsIn</B
> (<A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR) [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> idR]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ValBindsOut"
><A NAME="v%3AValBindsOut"
></A
></A
><B
>ValBindsOut</B
> [(<A HREF="BasicTypes.html#t%3ARecFlag"
>RecFlag</A
>, <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> idL)] [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> <A HREF="Name.html#t%3AName"
>Name</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsValBindsLR')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsValBindsLR" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> idL idR)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LHsBinds"
><A NAME="t%3ALHsBinds"
></A
></A
><B
>LHsBinds</B
> id = <A HREF="Bag.html#t%3ABag"
>Bag</A
> (<A HREF="HsBinds.html#t%3ALHsBind"
>LHsBind</A
> id)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:DictBinds"
><A NAME="t%3ADictBinds"
></A
></A
><B
>DictBinds</B
> id = <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LHsBind"
><A NAME="t%3ALHsBind"
></A
></A
><B
>LHsBind</B
> id = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AHsBind"
>HsBind</A
> id)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:HsBind"
><A NAME="t%3AHsBind"
></A
></A
><B
>HsBind</B
> id = <A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> id id</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LHsBindLR"
><A NAME="t%3ALHsBindLR"
></A
></A
><B
>LHsBindLR</B
> idL idR = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> idL idR)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LHsBindsLR"
><A NAME="t%3ALHsBindsLR"
></A
></A
><B
>LHsBindsLR</B
> idL idR = <A HREF="Bag.html#t%3ABag"
>Bag</A
> (<A HREF="HsBinds.html#t%3ALHsBindLR"
>LHsBindLR</A
> idL idR)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:HsBindLR"
><A NAME="t%3AHsBindLR"
></A
></A
><B
>HsBindLR</B
> idL idR </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:FunBind"
><A NAME="v%3AFunBind"
></A
></A
><B
>FunBind</B
></TD
><TD CLASS="rdoc"
><P
>FunBind is used for both functions <TT
>f x = e</TT
>
and variables <TT
>f = x -> e</TT
>
</P
><P
>Reason 1: Special case for type inference: see TcBinds.tcMonoBinds.
</P
><P
>Reason 2: Instance decls can only have FunBinds, which is convenient.
If you change this, you'll need to change e.g. rnMethodBinds
</P
><P
>But note that the form <TT
>f :: a->a = ...</TT
>
parses as a pattern binding, just like
<TT
>(f :: a -> a) = ... </TT
>
</P
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:fun_id"
><A NAME="v%3Afun_id"
></A
></A
><B
>fun_id</B
> :: <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> idL</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fun_infix"
><A NAME="v%3Afun_infix"
></A
></A
><B
>fun_infix</B
> :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
><TD CLASS="rdoc"
>True => infix declaration
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fun_matches"
><A NAME="v%3Afun_matches"
></A
></A
><B
>fun_matches</B
> :: <A HREF="HsExpr.html#t%3AMatchGroup"
>MatchGroup</A
> idR</TD
><TD CLASS="rdoc"
>The payload
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fun_co_fn"
><A NAME="v%3Afun_co_fn"
></A
></A
><B
>fun_co_fn</B
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
><TD CLASS="rdoc"
>Coercion from the type of the MatchGroup to the type of
the Id. Example:
<TT
>
f :: Int -> forall a. a -> a
f x y = y
</TT
>
Then the MatchGroup will have type (Int -> a' -> a')
(with a free type variable a'). The coercion will take
a CoreExpr of this type and convert it to a CoreExpr of
type Int -> forall a'. a' -> a'
Notice that the coercion captures the free a'.
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:bind_fvs"
><A NAME="v%3Abind_fvs"
></A
></A
><B
>bind_fvs</B
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
><TD CLASS="rdoc"
>After the renamer, this contains a superset of the
Names of the other binders in this binding group that
are free in the RHS of the defn
Before renaming, and after typechecking,
the field is unused; it's just an error thunk
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fun_tick"
><A NAME="v%3Afun_tick"
></A
></A
><B
>fun_tick</B
> :: <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt"
>Int</A
>, [idR])</TD
><TD CLASS="rdoc"
>This is the (optional) module-local tick number.
</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:PatBind"
><A NAME="v%3APatBind"
></A
></A
><B
>PatBind</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:pat_lhs"
><A NAME="v%3Apat_lhs"
></A
></A
><B
>pat_lhs</B
> :: <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> idL</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:pat_rhs"
><A NAME="v%3Apat_rhs"
></A
></A
><B
>pat_rhs</B
> :: <A HREF="HsExpr.html#t%3AGRHSs"
>GRHSs</A
> idR</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:pat_rhs_ty"
><A NAME="v%3Apat_rhs_ty"
></A
></A
><B
>pat_rhs_ty</B
> :: <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:bind_fvs"
><A NAME="v%3Abind_fvs"
></A
></A
><B
>bind_fvs</B
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
><TD CLASS="rdoc"
>After the renamer, this contains a superset of the
Names of the other binders in this binding group that
are free in the RHS of the defn
Before renaming, and after typechecking,
the field is unused; it's just an error thunk
</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:VarBind"
><A NAME="v%3AVarBind"
></A
></A
><B
>VarBind</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:var_id"
><A NAME="v%3Avar_id"
></A
></A
><B
>var_id</B
> :: idL</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:var_rhs"
><A NAME="v%3Avar_rhs"
></A
></A
><B
>var_rhs</B
> :: <A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> idR</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:AbsBinds"
><A NAME="v%3AAbsBinds"
></A
></A
><B
>AbsBinds</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:abs_tvs"
><A NAME="v%3Aabs_tvs"
></A
></A
><B
>abs_tvs</B
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:abs_dicts"
><A NAME="v%3Aabs_dicts"
></A
></A
><B
>abs_dicts</B
> :: [<A HREF="Var.html#t%3ADictId"
>DictId</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:abs_exports"
><A NAME="v%3Aabs_exports"
></A
></A
><B
>abs_exports</B
> :: [([<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>], idL, idL, [<A HREF="HsBinds.html#t%3ALPrag"
>LPrag</A
>])]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:abs_binds"
><A NAME="v%3Aabs_binds"
></A
></A
><B
>abs_binds</B
> :: <A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> idL</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsBindLR')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsBindLR" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> idL idR)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:placeHolderNames"
><A NAME="v%3AplaceHolderNames"
></A
></A
><B
>placeHolderNames</B
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprValBindsForUser"
><A NAME="v%3ApprValBindsForUser"
></A
></A
><B
>pprValBindsForUser</B
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> id2) => <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> [<A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> id2] -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprLHsBinds"
><A NAME="v%3ApprLHsBinds"
></A
></A
><B
>pprLHsBinds</B
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:emptyLocalBinds"
><A NAME="v%3AemptyLocalBinds"
></A
></A
><B
>emptyLocalBinds</B
> :: <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEmptyLocalBinds"
><A NAME="v%3AisEmptyLocalBinds"
></A
></A
><B
>isEmptyLocalBinds</B
> :: <A HREF="HsBinds.html#t%3AHsLocalBindsLR"
>HsLocalBindsLR</A
> a b -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEmptyValBinds"
><A NAME="v%3AisEmptyValBinds"
></A
></A
><B
>isEmptyValBinds</B
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:emptyValBindsOut"
><A NAME="v%3AemptyValBindsOut"
></A
></A
><B
>emptyValBindsOut</B
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:emptyValBindsIn"
><A NAME="v%3AemptyValBindsIn"
></A
></A
><B
>emptyValBindsIn</B
> :: <A HREF="HsBinds.html#t%3AHsValBindsLR"
>HsValBindsLR</A
> a b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:emptyLHsBinds"
><A NAME="v%3AemptyLHsBinds"
></A
></A
><B
>emptyLHsBinds</B
> :: <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEmptyLHsBinds"
><A NAME="v%3AisEmptyLHsBinds"
></A
></A
><B
>isEmptyLHsBinds</B
> :: <A HREF="HsBinds.html#t%3ALHsBindsLR"
>LHsBindsLR</A
> idL idR -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:plusHsValBinds"
><A NAME="v%3AplusHsValBinds"
></A
></A
><B
>plusHsValBinds</B
> :: <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a -> <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a -> <A HREF="HsBinds.html#t%3AHsValBinds"
>HsValBinds</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:ppr_monobind"
><A NAME="v%3Appr_monobind"
></A
></A
><B
>ppr_monobind</B
> :: (<A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idL, <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> idR) => <A HREF="HsBinds.html#t%3AHsBindLR"
>HsBindLR</A
> idL idR -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprTicks"
><A NAME="v%3ApprTicks"
></A
></A
><B
>pprTicks</B
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:HsIPBinds"
><A NAME="t%3AHsIPBinds"
></A
></A
><B
>HsIPBinds</B
> id </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:IPBinds"
><A NAME="v%3AIPBinds"
></A
></A
><B
>IPBinds</B
> [<A HREF="HsBinds.html#t%3ALIPBind"
>LIPBind</A
> id] (<A HREF="HsBinds.html#t%3ADictBinds"
>DictBinds</A
> id)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsIPBinds')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsIPBinds" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> id => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AHsIPBinds"
>HsIPBinds</A
> id)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEmptyIPBinds"
><A NAME="v%3AisEmptyIPBinds"
></A
></A
><B
>isEmptyIPBinds</B
> :: <A HREF="HsBinds.html#t%3AHsIPBinds"
>HsIPBinds</A
> id -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LIPBind"
><A NAME="t%3ALIPBind"
></A
></A
><B
>LIPBind</B
> id = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AIPBind"
>IPBind</A
> id)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:IPBind"
><A NAME="t%3AIPBind"
></A
></A
><B
>IPBind</B
> id </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Implicit parameter bindings.
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:IPBind"
><A NAME="v%3AIPBind"
></A
></A
><B
>IPBind</B
> (<A HREF="BasicTypes.html#t%3AIPName"
>IPName</A
> id) (<A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> id)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:IPBind')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:IPBind" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> id => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AIPBind"
>IPBind</A
> id)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:HsWrapper"
><A NAME="t%3AHsWrapper"
></A
></A
><B
>HsWrapper</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:WpHole"
><A NAME="v%3AWpHole"
></A
></A
><B
>WpHole</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpCompose"
><A NAME="v%3AWpCompose"
></A
></A
><B
>WpCompose</B
> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpCast"
><A NAME="v%3AWpCast"
></A
></A
><B
>WpCast</B
> <A HREF="Coercion.html#t%3ACoercion"
>Coercion</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpApp"
><A NAME="v%3AWpApp"
></A
></A
><B
>WpApp</B
> <A HREF="Var.html#t%3AVar"
>Var</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpTyApp"
><A NAME="v%3AWpTyApp"
></A
></A
><B
>WpTyApp</B
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpLam"
><A NAME="v%3AWpLam"
></A
></A
><B
>WpLam</B
> <A HREF="Var.html#t%3AVar"
>Var</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpTyLam"
><A NAME="v%3AWpTyLam"
></A
></A
><B
>WpTyLam</B
> <A HREF="Var.html#t%3ATyVar"
>TyVar</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpInline"
><A NAME="v%3AWpInline"
></A
></A
><B
>WpInline</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:WpLet"
><A NAME="v%3AWpLet"
></A
></A
><B
>WpLet</B
> (<A HREF="HsBinds.html#t%3ALHsBinds"
>LHsBinds</A
> <A HREF="Var.html#t%3AId"
>Id</A
>)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:HsWrapper')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:HsWrapper" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprHsWrapper"
><A NAME="v%3ApprHsWrapper"
></A
></A
><B
>pprHsWrapper</B
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:<.>"
><A NAME="v%3A%3C.%3E"
></A
></A
><B
>(<.>)</B
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkWpTyApps"
><A NAME="v%3AmkWpTyApps"
></A
></A
><B
>mkWpTyApps</B
> :: [<A HREF="Type.html#t%3AType"
>Type</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkWpApps"
><A NAME="v%3AmkWpApps"
></A
></A
><B
>mkWpApps</B
> :: [<A HREF="Var.html#t%3AVar"
>Var</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkWpTyLams"
><A NAME="v%3AmkWpTyLams"
></A
></A
><B
>mkWpTyLams</B
> :: [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkWpLams"
><A NAME="v%3AmkWpLams"
></A
></A
><B
>mkWpLams</B
> :: [<A HREF="Var.html#t%3AVar"
>Var</A
>] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mk_co_fn"
><A NAME="v%3Amk_co_fn"
></A
></A
><B
>mk_co_fn</B
> :: (a -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
>) -> [a] -> <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:idHsWrapper"
><A NAME="v%3AidHsWrapper"
></A
></A
><B
>idHsWrapper</B
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isIdHsWrapper"
><A NAME="v%3AisIdHsWrapper"
></A
></A
><B
>isIdHsWrapper</B
> :: <A HREF="HsBinds.html#t%3AHsWrapper"
>HsWrapper</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LSig"
><A NAME="t%3ALSig"
></A
></A
><B
>LSig</B
> name = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:Sig"
><A NAME="t%3ASig"
></A
></A
><B
>Sig</B
> name </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:TypeSig"
><A NAME="v%3ATypeSig"
></A
></A
><B
>TypeSig</B
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:IdSig"
><A NAME="v%3AIdSig"
></A
></A
><B
>IdSig</B
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:FixSig"
><A NAME="v%3AFixSig"
></A
></A
><B
>FixSig</B
> (<A HREF="HsBinds.html#t%3AFixitySig"
>FixitySig</A
> name)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:InlineSig"
><A NAME="v%3AInlineSig"
></A
></A
><B
>InlineSig</B
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:SpecSig"
><A NAME="v%3ASpecSig"
></A
></A
><B
>SpecSig</B
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name) <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:SpecInstSig"
><A NAME="v%3ASpecInstSig"
></A
></A
><B
>SpecInstSig</B
> (<A HREF="HsTypes.html#t%3ALHsType"
>LHsType</A
> name)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Sig')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Sig" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> name => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LFixitySig"
><A NAME="t%3ALFixitySig"
></A
></A
><B
>LFixitySig</B
> name = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> (<A HREF="HsBinds.html#t%3AFixitySig"
>FixitySig</A
> name)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:FixitySig"
><A NAME="t%3AFixitySig"
></A
></A
><B
>FixitySig</B
> name </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:FixitySig"
><A NAME="v%3AFixitySig"
></A
></A
><B
>FixitySig</B
> (<A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> name) <A HREF="BasicTypes.html#t%3AFixity"
>Fixity</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:FixitySig')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:FixitySig" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> name => <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> (<A HREF="HsBinds.html#t%3AFixitySig"
>FixitySig</A
> name)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:LPrag"
><A NAME="t%3ALPrag"
></A
></A
><B
>LPrag</B
> = <A HREF="SrcLoc.html#t%3ALocated"
>Located</A
> <A HREF="HsBinds.html#t%3APrag"
>Prag</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t:Prag"
><A NAME="t%3APrag"
></A
></A
><B
>Prag</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:InlinePrag"
><A NAME="v%3AInlinePrag"
></A
></A
><B
>InlinePrag</B
> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:SpecPrag"
><A NAME="v%3ASpecPrag"
></A
></A
><B
>SpecPrag</B
> (<A HREF="HsExpr.html#t%3AHsExpr"
>HsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>) <A HREF="HsTypes.html#t%3APostTcType"
>PostTcType</A
> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isInlinePrag"
><A NAME="v%3AisInlinePrag"
></A
></A
><B
>isInlinePrag</B
> :: <A HREF="HsBinds.html#t%3APrag"
>Prag</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isSpecPrag"
><A NAME="v%3AisSpecPrag"
></A
></A
><B
>isSpecPrag</B
> :: <A HREF="HsBinds.html#t%3APrag"
>Prag</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:okBindSig"
><A NAME="v%3AokBindSig"
></A
></A
><B
>okBindSig</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:okHsBootSig"
><A NAME="v%3AokHsBootSig"
></A
></A
><B
>okHsBootSig</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:okClsDclSig"
><A NAME="v%3AokClsDclSig"
></A
></A
><B
>okClsDclSig</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:okInstDclSig"
><A NAME="v%3AokInstDclSig"
></A
></A
><B
>okInstDclSig</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:sigForThisGroup"
><A NAME="v%3AsigForThisGroup"
></A
></A
><B
>sigForThisGroup</B
> :: <A HREF="NameSet.html#t%3ANameSet"
>NameSet</A
> -> <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:sigName"
><A NAME="v%3AsigName"
></A
></A
><B
>sigName</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> name</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:sigNameNoLoc"
><A NAME="v%3AsigNameNoLoc"
></A
></A
><B
>sigNameNoLoc</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> name</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isFixityLSig"
><A NAME="v%3AisFixityLSig"
></A
></A
><B
>isFixityLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isVanillaLSig"
><A NAME="v%3AisVanillaLSig"
></A
></A
><B
>isVanillaLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isTypeLSig"
><A NAME="v%3AisTypeLSig"
></A
></A
><B
>isTypeLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isSpecLSig"
><A NAME="v%3AisSpecLSig"
></A
></A
><B
>isSpecLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isSpecInstLSig"
><A NAME="v%3AisSpecInstLSig"
></A
></A
><B
>isSpecInstLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isPragLSig"
><A NAME="v%3AisPragLSig"
></A
></A
><B
>isPragLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isInlineLSig"
><A NAME="v%3AisInlineLSig"
></A
></A
><B
>isInlineLSig</B
> :: <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> name -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:hsSigDoc"
><A NAME="v%3AhsSigDoc"
></A
></A
><B
>hsSigDoc</B
> :: <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:eqHsSig"
><A NAME="v%3AeqHsSig"
></A
></A
><B
>eqHsSig</B
> :: <A HREF="../base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> a => <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> a -> <A HREF="HsBinds.html#t%3ALSig"
>LSig</A
> a -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:ppr_sig"
><A NAME="v%3Appr_sig"
></A
></A
><B
>ppr_sig</B
> :: <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> name => <A HREF="HsBinds.html#t%3ASig"
>Sig</A
> name -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pragBrackets"
><A NAME="v%3ApragBrackets"
></A
></A
><B
>pragBrackets</B
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprVarSig"
><A NAME="v%3ApprVarSig"
></A
></A
><B
>pprVarSig</B
> :: (<A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id, <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> ty) => id -> ty -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprSpec"
><A NAME="v%3ApprSpec"
></A
></A
><B
>pprSpec</B
> :: (<A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id, <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> ty) => id -> ty -> <A HREF="BasicTypes.html#t%3AInlineSpec"
>InlineSpec</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprPrag"
><A NAME="v%3ApprPrag"
></A
></A
><B
>pprPrag</B
> :: <A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> id => id -> <A HREF="HsBinds.html#t%3ALPrag"
>LPrag</A
> -> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</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
>
