Sophie: ghc-0:6.10.4-1mdv2010.0 i586

ghc-6.10.4-1mdv2010.0.i586.rpm

<!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
>DsUtils</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_DsUtils.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.10.4: 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"
>DsUtils</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>Utility functions for constructing Core syntax, principally for desugaring
</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"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:EquationInfo"
><A NAME="t%3AEquationInfo"
></A
></A
><B
>EquationInfo</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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:EqnInfo"
><A NAME="v%3AEqnInfo"
></A
></A
><B
>EqnInfo</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:eqn_pats"
><A NAME="v%3Aeqn_pats"
></A
></A
><B
>eqn_pats</B
> :: [<A HREF="HsPat.html#t%3APat"
>Pat</A
> <A HREF="Var.html#t%3AId"
>Id</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:eqn_rhs"
><A NAME="v%3Aeqn_rhs"
></A
></A
><B
>eqn_rhs</B
> :: <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></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:EquationInfo')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:EquationInfo" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="DsUtils.html#t%3AEquationInfo"
>EquationInfo</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:firstPat"
><A NAME="v%3AfirstPat"
></A
></A
><B
>firstPat</B
> :: <A HREF="DsUtils.html#t%3AEquationInfo"
>EquationInfo</A
> -&gt; <A HREF="HsPat.html#t%3APat"
>Pat</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:shiftEqns"
><A NAME="v%3AshiftEqns"
></A
></A
><B
>shiftEqns</B
> :: [<A HREF="DsUtils.html#t%3AEquationInfo"
>EquationInfo</A
>] -&gt; [<A HREF="DsUtils.html#t%3AEquationInfo"
>EquationInfo</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:MatchResult"
><A NAME="t%3AMatchResult"
></A
></A
><B
>MatchResult</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:MatchResult"
><A NAME="v%3AMatchResult"
></A
></A
><B
>MatchResult</B
> <A HREF="DsUtils.html#t%3ACanItFail"
>CanItFail</A
> (<A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:CanItFail"
><A NAME="t%3ACanItFail"
></A
></A
><B
>CanItFail</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:CanFail"
><A NAME="v%3ACanFail"
></A
></A
><B
>CanFail</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:CantFail"
><A NAME="v%3ACantFail"
></A
></A
><B
>CantFail</B
></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:cantFailMatchResult"
><A NAME="v%3AcantFailMatchResult"
></A
></A
><B
>cantFailMatchResult</B
> :: <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:alwaysFailMatchResult"
><A NAME="v%3AalwaysFailMatchResult"
></A
></A
><B
>alwaysFailMatchResult</B
> :: <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:extractMatchResult"
><A NAME="v%3AextractMatchResult"
></A
></A
><B
>extractMatchResult</B
> :: <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:combineMatchResults"
><A NAME="v%3AcombineMatchResults"
></A
></A
><B
>combineMatchResults</B
> :: <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:adjustMatchResult"
><A NAME="v%3AadjustMatchResult"
></A
></A
><B
>adjustMatchResult</B
> :: <A HREF="DsMonad.html#t%3ADsWrapper"
>DsWrapper</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:adjustMatchResultDs"
><A NAME="v%3AadjustMatchResultDs"
></A
></A
><B
>adjustMatchResultDs</B
> :: (<A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>) -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkCoLetMatchResult"
><A NAME="v%3AmkCoLetMatchResult"
></A
></A
><B
>mkCoLetMatchResult</B
> :: <A HREF="CoreSyn.html#t%3ACoreBind"
>CoreBind</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkViewMatchResult"
><A NAME="v%3AmkViewMatchResult"
></A
></A
><B
>mkViewMatchResult</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkGuardedMatchResult"
><A NAME="v%3AmkGuardedMatchResult"
></A
></A
><B
>mkGuardedMatchResult</B
> :: <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:matchCanFail"
><A NAME="v%3AmatchCanFail"
></A
></A
><B
>matchCanFail</B
> :: <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkEvalMatchResult"
><A NAME="v%3AmkEvalMatchResult"
></A
></A
><B
>mkEvalMatchResult</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
> -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkCoPrimCaseMatchResult"
><A NAME="v%3AmkCoPrimCaseMatchResult"
></A
></A
><B
>mkCoPrimCaseMatchResult</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; [(<A HREF="Literal.html#t%3ALiteral"
>Literal</A
>, <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
>)] -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkCoAlgCaseMatchResult"
><A NAME="v%3AmkCoAlgCaseMatchResult"
></A
></A
><B
>mkCoAlgCaseMatchResult</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; [(<A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
>, [<A HREF="CoreSyn.html#t%3ACoreBndr"
>CoreBndr</A
>], <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
>)] -&gt; <A HREF="DsUtils.html#t%3AMatchResult"
>MatchResult</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wrapBind"
><A NAME="v%3AwrapBind"
></A
></A
><B
>wrapBind</B
> :: <A HREF="Var.html#t%3AVar"
>Var</A
> -&gt; <A HREF="Var.html#t%3AVar"
>Var</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:wrapBinds"
><A NAME="v%3AwrapBinds"
></A
></A
><B
>wrapBinds</B
> :: [(<A HREF="Var.html#t%3AVar"
>Var</A
>, <A HREF="Var.html#t%3AVar"
>Var</A
>)] -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkErrorAppDs"
><A NAME="v%3AmkErrorAppDs"
></A
></A
><B
>mkErrorAppDs</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:seqVar"
><A NAME="v%3AseqVar"
></A
></A
><B
>seqVar</B
> :: <A HREF="Var.html#t%3AVar"
>Var</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkLHsVarTup"
><A NAME="v%3AmkLHsVarTup"
></A
></A
><B
>mkLHsVarTup</B
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <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:mkLHsTup"
><A NAME="v%3AmkLHsTup"
></A
></A
><B
>mkLHsTup</B
> :: [<A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <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:mkLHsVarPatTup"
><A NAME="v%3AmkLHsVarPatTup"
></A
></A
><B
>mkLHsVarPatTup</B
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkLHsPatTup"
><A NAME="v%3AmkLHsPatTup"
></A
></A
><B
>mkLHsPatTup</B
> :: [<A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkBigLHsVarTup"
><A NAME="v%3AmkBigLHsVarTup"
></A
></A
><B
>mkBigLHsVarTup</B
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <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:mkBigLHsTup"
><A NAME="v%3AmkBigLHsTup"
></A
></A
><B
>mkBigLHsTup</B
> :: [<A HREF="HsExpr.html#t%3ALHsExpr"
>LHsExpr</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <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:mkBigLHsVarPatTup"
><A NAME="v%3AmkBigLHsVarPatTup"
></A
></A
><B
>mkBigLHsVarPatTup</B
> :: [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkBigLHsPatTup"
><A NAME="v%3AmkBigLHsPatTup"
></A
></A
><B
>mkBigLHsPatTup</B
> :: [<A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkSelectorBinds"
><A NAME="v%3AmkSelectorBinds"
></A
></A
><B
>mkSelectorBinds</B
> :: <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> [(<A HREF="Var.html#t%3AId"
>Id</A
>, <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
>)]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:dsSyntaxTable"
><A NAME="v%3AdsSyntaxTable"
></A
></A
><B
>dsSyntaxTable</B
> :: <A HREF="HsExpr.html#t%3ASyntaxTable"
>SyntaxTable</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> ([<A HREF="CoreSyn.html#t%3ACoreBind"
>CoreBind</A
>], [(<A HREF="Name.html#t%3AName"
>Name</A
>, <A HREF="Var.html#t%3AId"
>Id</A
>)])</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lookupEvidence"
><A NAME="v%3AlookupEvidence"
></A
></A
><B
>lookupEvidence</B
> :: [(<A HREF="Name.html#t%3AName"
>Name</A
>, <A HREF="Var.html#t%3AId"
>Id</A
>)] -&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:selectSimpleMatchVarL"
><A NAME="v%3AselectSimpleMatchVarL"
></A
></A
><B
>selectSimpleMatchVarL</B
> :: <A HREF="HsPat.html#t%3ALPat"
>LPat</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:selectMatchVars"
><A NAME="v%3AselectMatchVars"
></A
></A
><B
>selectMatchVars</B
> :: [<A HREF="HsPat.html#t%3APat"
>Pat</A
> <A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> [<A HREF="Var.html#t%3AId"
>Id</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:selectMatchVar"
><A NAME="v%3AselectMatchVar"
></A
></A
><B
>selectMatchVar</B
> :: <A HREF="HsPat.html#t%3APat"
>Pat</A
> <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkTickBox"
><A NAME="v%3AmkTickBox"
></A
></A
><B
>mkTickBox</B
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkOptTickBox"
><A NAME="v%3AmkOptTickBox"
></A
></A
><B
>mkOptTickBox</B
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
>, [<A HREF="Var.html#t%3AId"
>Id</A
>]) -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkBinaryTickBox"
><A NAME="v%3AmkBinaryTickBox"
></A
></A
><B
>mkBinaryTickBox</B
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="DsMonad.html#t%3ADsM"
>DsM</A
> <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</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.4.2</TD
></TR
></TABLE
></BODY
></HTML
>